Boolean Algebra

Axioms

• $0\ast 0=0$
• $1\ast 1=1$
• $0\ast 1=0$
• $1\ast 0=0$

Negation Axioms

• $x=1⟹\overline{x}=0$
• $x=0⟹\overline{x}=1$

Concepts

• Boolean Algebra Commutative Law
• Boolean Algebra Associative Law
• Boolean Algebra Distributive Law
• Boolean Algebra Simplification Law
• Boolean Algebra Consensus Law
• Boolean Algebra Absorbtion Law
• Boolean Algebra De-Morgans Law