Equivalency Laws

p∨¬p⇔T

Tautology
¬(¬p)⇔p

Double Negation
p∨F⇔p

Identity Laws
p∧T⇔p

Identity Laws
p∨q⇔q∨p
p∧q⇔q∧p

Commutative Laws
(p∨q)∨r⇔p∨(q∨r)
(p∧q)∧r⇔p∧(q∧r)

Associative Laws
¬(p∨q)⇔¬p∧¬q
¬(p∧q)⇔¬p∨¬q

DeMorgan's Laws
p→q⇔¬p∨q

Implication Law
p→q⇔¬q→¬p

Contrapositive Law
¬(p→q)⇔p∧¬q

Negation of Implication Law
p∨(q∧r)⇔(p∨q)∧(p∨r)
p∧(q∨r)⇔(p∧q)∨(p∧r

Distributive Laws
p∧¬p⇔F

Contradiction
p∨T⇔T
p∧F⇔F

Domination Laws
p∨p⇔p
p∧p⇔p

Idempotent Laws
p∨(p∧q)⇔p
p∧(p∨q)⇔p

Absorption Laws

Author

mbj12

ID

220669

Card Set

Equivalency Laws

Description

Logical operator equivalency laws

Updated

2013-05-22T13:57:14Z