Logical Equivalence Laws Flashcards
1
Q
Communicative laws
A
p Λ q Ξ q Λ p
p V q Ξ q V p
2
Q
Associative laws
A
(p Λ q) Λ r Ξ p Λ (q Λ r)
p V q) V r Ξ p V (q V r
3
Q
Distributive laws
A
p Λ (q V r) Ξ (p Λ q) V (p Λ r)
p V (q Λ r) Ξ (p V q) Λ (p V r)
4
Q
Identity laws
A
p Λ t Ξ p
p V c Ξ p
5
Q
Negation laws
A
p V ~p Ξ t
P Λ ~p Ξ c
6
Q
Double negative laws
A
~(~p) Ξ p
7
Q
Idempotent laws
A
p Λ p Ξ p
p V p Ξ p
8
Q
Universal bound laws
A
p V t Ξ t
p Λ c Ξ c
9
Q
De Morgan’s laws
A
~(p Λ q) Ξ ~p V ~q
~(p V q) Ξ ~p Λ ~q
10
Q
Absorption laws
A
p V (p Λ q) Ξ p
p Λ (p V q) Ξ p
11
Q
Negation of t and c
A
~t Ξ c
~c Ξ t