Unformatted text preview: ∩ , ∪ and c , and properties of AND , OR and ¬ . If A, B, C are statements, then A AND ( B OR C ) ⇔ ( A AND B ) OR ( A AND C ) . A OR ( B AND C ) ⇔ ( A OR B ) AND ( A OR C ) . ¬ ( A AND B ) ⇔ ( ¬ A ) OR ( ¬ B ) . ¬ ( A OR B ) ⇔ ( ¬ A ) AND ( ¬ B ) . What is behind this analogy? Sometimes + and · are used to denote AND and OR . Is this justiﬁed considering the usual rules of + and · ? Try replacing AND , OR and ⇔ with +, · and = in the above equations. 1...
View Full Document
- Fall '08
- Set Theory, Eriko Hironaka, Analysis – Eriko