Answers & Hints for Selected Exercises 701
- p Q P=? Q (P =? Q) =? P)
T T T T
T F F T
F T T F
F F T F
(not a tautology)
- p Q PV Q "'(P v Q) rvP rvQ rvP/\rvQ
T T T F F F F
T F T F F T F
F T T F T F F
F F F T T T T
(4th and 7th co lumns identical)
- p Q PVQ rvP rvP=?Q
T T T F T
T F T F T
F T T T T
F F F T F
(3rd and 5th columns identical)
- p Q P/\Q "' (P /\ Q) rvP Q =}rv p
T T T F F F
T F F T F T
F T F T T T
F F F T T T
(4th and 6th columns identical)
- p Q P{=}Q P=?Q Q=?P (P =? Q) /\ (Q =? P)
T T T T T T
T F F F T F
F T F T F F
F F T T T T
(3rd and 6th columns identical)
- p Q P{=}Q "' (P {:;} Q) rvQ p {=}rv Q
T T T F F F
T F F T T T
F T F T F T
F F T F T F
(4th and 6th columns identical)
