Gesetze der boolschen Algebra
| ODER-Operation | ¦ | UND-Operation | |
| Kommutativgesetz: | A ∨ B = B ∨ A | ¦ | A ∧ B = B ∧ A |
| Assoziativgesetz: | A ∨ (B ∨ C) = (A ∨ B) ∨ C | ¦ | A ∧ (B ∧ C) = (A ∧ B) ∧ C |
| Distributivgesetz: | A ∨ (B ∧ C) = (A ∨ B) ∧ (A ∨ C) | ¦ | A ∧ (B ∨ C) = (A ∧ B) ∨ (A ∧ C) |
| Absorbtionsgesetz: | A ∨ (A ∧ B) = A | ¦ | A ∧ (A ∨ B) = A |
| Komplementärgesetz: | A ∨ ¬A = 1 | ¦ | A ∧ ¬A = 0 |
| Idempotenzgesetz: | A ∨ A = A | ¦ | A ∧ A = A |
| Neutralitätsgesetz: | A ∨ 0 = A | ¦ | A ∧ 1 = A |
| Extremalgesetz: | A ∨ 1 = 1 | ¦ | A ∧ 0 = 0 |
| De Morgansches Gesetz: | ¬(A ∨ B) = ¬A ∧ ¬B | ¦ | ¬(A ∧ B) = ¬A ∨ ¬B |
| Involutionsgesetz: | ¬(¬A) = A | ||
| Dualitätsgesetz: | ¬1 = 0 | ¬0 = 1 | |