|
Monday, 04 April 2005 06:04 |
|
logical equivalence
| P∧(Q∧R) <=> (P∧Q)∧R | Associativity of conjunction | | P∨(Q∨R) <=> (P∨Q)∨R | Associativity of disjunction | | P∧Q <=> Q∧P | Commutativity of conjunction | | P∨Q <=> Q∨P | Commutativity of disjunction | | P∧(Q∨R) <=> (P∧Q)∨(P∧R) | Distributivity of∧ over ∨ | | P∨(Q∧R) <=> (P∧Q)∨(P∧R) | Distributivity of∨ over ∧ | | ﹁(P∧Q) <=> ﹁P∨﹁Q | de Morgan's Law | | ﹁(P∨Q) <=> ﹁P∧﹁Q | de Morgan's Law | | ( P => Q ) <=> (﹁Q =>﹁P) | Contraposition | | ﹁﹁P <=> P | Double Negation | | P=>Q <=> ﹁P ∨ Q | | | (P <=> Q ) <=> (P=>Q) ∧(Q=>P) | | | P<=>Q <=> (P∧Q)∨(﹁P∧﹁Q) | | | P∧﹁P <=> False | | | P∨﹁P <=> True |
其他表： 
|
学习资料 
Subscribe to this comment's feed
