Logical Equivalence Flashcards
1
Q
Identity Law 1
A
p ∧ T ≡ p
2
Q
Identity Law 2
A
p ∨ F ≡ p
3
Q
Domination Law 1
A
p ∨ T ≡ T
4
Q
Domination Law 2
A
p ∧ F ≡ F
5
Q
Idempotent Law 1
A
p ∨ p ≡ p
6
Q
Idempotent Law 2
A
p ∧ p ≡ p
7
Q
Double Negation Law
A
¬(¬p) ≡ p
8
Q
Negation Law 1
A
p ∨ ¬p ≡ T
9
Q
Negation Law 2
A
p ∧ ¬p ≡ F
10
Q
Commutative Law 1
A
p ∨ q ≡ q ∨ p
11
Q
Commutative Law 2
A
p ∧ q ≡ q ∧ p
12
Q
Associative Law 1
A
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
13
Q
Associative Law 2
A
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
14
Q
Distributive Law 1
A
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
15
Q
Distributive Law 2
A
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
