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 laws
A
¬(¬p) = p
5
Q
Communitive 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
Demorgan’s law
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