coords


Always show region a Always show region b Always show region c 
Show region formula:
Hide region formula: 

Involution  ¬(¬(a)) = a 
Idempotence  a ∩ a = a 
Idempotence  a ∪ a = a 
Identity  a ∩ U = a 
Identity  a ∪ Ø = a 
Absorbtion  a ∩ (a ∪ b) = a 
Absorbtion  a ∪ (a ∩ b) = a 
Absorbtion  a ∩ Ø = Ø 
Absorbtion  a ∪ U = U 
Law of Contradiction  a ∩ ¬a = Ø 
Law of Excluded Middle  a ∪ ¬a = U 
Commutivity  a ∩ b = b ∩ a 
Commutivity  a ∪ b = b ∪ a 
Associativity  (a ∩ b) ∩ c = a ∩ (b ∩ c) 
Associativity  (a ∪ b) ∪ c = a ∪ (b ∪ c) 
Distributivity  a ∩ (b ∪ c) = (a ∩ b) ∪ (a ∩ c) 
Distributivity  a ∪ (b ∩ c) = (a ∪ b) ∩ (a ∪ c) 
De Morgan's Law  ¬(a ∩ b) = (¬a ∪ ¬b) 
De Morgan's Law  ¬(a ∪ b) = (¬a ∩ ¬b) 