قانون جذب (جبر)

قانون جذب الگو:انگلیسی یا اتحاد جذب الگو:انگلیسی، اتحادی است که دو عمل دوتایی را به یکدیگر پیوند می‌دهد. دو عمل دوتایی مثل * و + به یکدیگر مرتبط می‌شوند اگر داشته باشیم:

$a+(a*b)=a*(a+b)$

مجموعه‌ای با عملگرهای دوتایی ∨ (فصل منطقی) و ∧ (عطف منطقی) که خاصیت جابه‌جایی و خاصیت شرکت‌پذیری دارند، توسط قانون جذب به شکل زیر مرتبط می‌شوند:

$a\vee (a\wedge b)=a\wedge (a\vee b)=a$

که توری نامیده می‌شود.

اثبات

$a+a.b=a$

$a.1+a.b$

$a(b+b^{\prime })+a.b$

$a.b+a.b^{\prime }+a.b$

$a.b+a.b^{\prime }$

$a(b+b^{\prime })=a$