1
Q
State the identity rule
A
p ∧ T ≡ p
2
Q
State the domination rule
A
p ∨ T ≡ T
3
Q
State the idempotent rule
A
p ∨ p ≡ p
4
Q
State the double neg rule
A
¬(¬p) ≡ p
5
Q
State the negative rule
A
p ∨ ¬p ≡ T
6
Q
State the commutative rule
A
p ∨ q ≡ q ∨ p
7
Q
State the associative rule
A
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
8
Q
State the distributive rule
A
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
9
Q
State the absorbtion rule
A
p ∨ (p ∧ q) ≡ p
10
Q
State de morgans law
A
¬(p ∧ q) ≡ ¬p ∨ ¬q
