Professional Documents
Culture Documents
1 1 1 1 1
1 1 1 1 1
1 1 1 1 1
-1
P ∨q=¬ p → q
p q ¬p P ∨q ¬p→q
T T F T T
T F F T T
F T T T T
F F T F F
—2
P∧q=¬(p→¬q)
-3
¬ ( p → q ) = p ∧¬q
-4
(p→q)∧(p→r) =p→(q∧r)
-6
)P → q ) ∨ ( p → r ) = p → ( q ∨ r )
-7
(P → r ) ∨(q→ r ) = ( p ∧q )→ r