Rules of Replacement Flashcards
1
Q
p ⁘ ~~p
A
Double Negation (DN)
2
Q
Double Negation (DN)
A
p ⁘ ~~p
3
Q
p & q ⁘ q & p
p v q ⁘ q v p
A
Commutation (Comm)
4
Q
p & (q & r) ⁘ (p & q) & r
p v (q v r) ⁘ (p v q) v r
A
Association (Assoc)
5
Q
~(p & q) ⁘ ~p v ~q
~(p v q) ⁘ ~p & ~q
A
DeMorgan (DeM)
6
Q
Commutation (Comm)
A
p & q ⁘ q & p
p v q ⁘ q v p
7
Q
Association (Assoc)
A
p & (q & r) ⁘ (p & q) & r
p v (q v r) ⁘ (p v q) v r
8
Q
DeMorgan (DeM)
A
~(p & q) ⁘ ~p v ~q
~(p v q) ⁘ ~p & ~q
9
Q
p & (q v r) ⁘ (p & q) v (p & r)
p v (q & r) ⁘ (p v q) & (p v r)
A
Distribution (Distr)
10
Q
Distribution (Distr)
A
p & (q v r) ⁘ (p & q) v (p & r)
p v (q & r) ⁘ (p v q) & (p v r)
11
Q
p → q ⁘ ~p v r
A
Implication (Impl)
12
Q
Implication (Impl)
A
p → q ⁘ ~p v q
13
Q
p → q ⁘ ~q → ~p
A
Transportation (Trans)
14
Q
Transportation (Trans)
A
p → q ⁘ ~q → ~p
15
Q
(p & q) → r ⁘ p → (q → r)
A
Exportation
