Equivalence Rules

Double Negation

(P')' <=> P
Commutative Laws
- P v Q <=> Q v P
- P ^ Q <=> Q ^ P
Associative Laws
- (P v Q) v R <=> P v (Q v R)
- (P ^ Q) ^ R <=> P ^ (Q ^ R)
Distributive Laws
- P v (Q ^ R) <=> (P v Q) ^ (P v R)
- P ^ (Q v R) <=> (P ^ Q) v (P ^ R)

Author

nimmie

ID

92217

Card Set

Equivalence Rules

Description

Equivalence Rules

Updated

2011-06-28T01:04:14Z

Show Answers