Equivalences Flashcards
1
Q
p ∨ q
A
¬(¬p.¬q)
2
Q
¬(p ∨ q)
A
¬p.¬q
3
Q
p.q
A
¬(¬p ∨ ¬q)
4
Q
¬(p.q)
A
¬p ∨ ¬q and p ⊃ ¬q
5
Q
p ⊃ (q ⊃ r)
A
p.q ⊃ r
6
Q
p ⊃ q
A
¬p ∨ q and ¬(p.¬q)
7
Q
¬(p ⊃ q)
A
p.¬q