[Programming] Fundamental Law of Boolean Algebra

Involution Law

((AB'+A'C')')' = AB' + A'C'

 

Laws of Complementarity

(A'B+C'D)(A'B+C'D)' = 0

 

1st Distributive Law

A'B(C + D') = A'BC + A'BD'

 

2nd Distributive Law

A'B + C'D = (A'B + C')(A'B + D)

 

DeMorgan's Theorem

(A' + C)' = AC'