See also these Math/Physics Javascript programs:|
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) |