anthony morris
🧠

Boolean Algebra

  • Invented by George Boole
  • Functions only take 0 or 1 as input

Laws

Property And Or
Commutative AB = BA A + B = B + A
Associative (AB)C = A(BC) (A + B) + C = A + (B + C)
Distributive A(B + C) = (AB) + (AC) A + (BC) = (A + B)(A + C)
Identity A1 = A A + 0 = A
Null A0 = 0 A + 1 = 1
Idempotency AA = A A + A = A
Involution (A')' = A (A')' = A
Complement A(A') = 0 A + (A') = 1
De Morgan's Law (AB)' = A' + B' (A + B)' = A'B'

Computer Science Logic