a ∨ (b ∨ c) = (a ∨ b) ∨ c | a ∧ (b ∧ c) = (a ∧ b) ∧ c | Phép kết hợp |
a ∨ b = b ∨ a | a ∧ b = b ∧ a | Phép hoán vị |
a ∨ (a ∧ b) = a | a ∧ (a ∨ b) = a | Phép hấp thụ |
a ∨ 0 = a | a ∧ 1 = a | Phép đồng nhất |
a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c) | a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c) | Phép phân phối |
a ∨ ¬a = 1 | a ∧ ¬a = 0 | Phép bù |
0