Logical Equivalences Flashcards
1
Q
Identity Laws
A
p ^ T = p
p v F = p
2
Q
Domination Laws
A
p v T = T
p ^ F = F
3
Q
Idempotent Laws
A
p v p = p
p ^ p = p
4
Q
Double negation law
A
¬(¬p) = p
5
Q
Commutative laws
A
p v q = p v q
p ^ q = q ^ p
6
Q
Associative laws
A
(p v q) v r = p v (q v r)
p ^ q) ^ r = p ^ (q ^ r
7
Q
Distributive laws
A
p v (q ^ r) = (p v q)^(p v r) p ^ (q v r) = (p ^ q)v(p ^ r)
8
Q
De Morgan’s laws
A
¬(p ^ q) = ¬p v ¬q
¬(p v q) = ¬p ^ ¬q
9
Q
Absorption laws
A
p v (p ^ q) = p p ^ (p v q) = p
10
Q
Negation laws
A
p v ¬p = T
p ^ ¬p = F