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

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

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

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

 اثبات 

 منابع 

رده:جبر بولی
رده:جبر مجرد
رده:قضیه‌ها در حساب گزاره‌ای
رده:نظریه مشبکه