Professional Documents
Culture Documents
DS Lecture 3
DS Lecture 3
Laws of Logic
p q ~ ~p p ~q p~q~p
q
T T F F T F
T F T F T F
F T F T F T
F F T T T T
Construct a truth table for the statement form (p q)(~ p r)
p q r pq ~p ~pr (pq)(~ p r)
T T T T F T T
T T F T F T T
T F T F F T F
T F F F F T F
F T T T T T T
F T F T T F F
F F T T T T T
F F F T T F F
LOGICAL EQUIVALENCE INVOLVING IMPLICATION
Use truth table to show pq ~q ~p
p q ~q ~p pq ~q ~p
T T F F T T
T F T F F F
F T F T T T
F F T T T T
p q pq ~p ~q ~p ~q
T T T F F T
T F F F T T
F T T T F F
F F T T T T
p q pq qp
T T T T
T F F T
F T T F
F F T T