Boolean Algebra — Venn Diagrams
Laws of Boolean algebra visualized as set operations
Select a Law:
A ∧ B — Conjunction (AND)
A ∨ B — Disjunction (OR)
¬A — Complement
De Morgan I: ¬(A∧B) = ¬A∨¬B
De Morgan II: ¬(A∨B) = ¬A∧¬B
Absorption: A∧(A∨B) = A
Distributive: A∧(B∨C)
A ⊕ B — Exclusive OR
A ∧ B
Truth Table: