
MODERATE EXERCISES - Truth Tables
(1) Negate the following propositions:
- P: x > 5
- P: 9 = 6
- P: You are not Bob or Olaf
- P: x = x
(2) Make a truth table for the proposition (P \/ Q) /\ (Q \/ R) ==> P \/ (~Q)
(3) Make a truth table for the proposition ~((P \/ Q) \/ (Q \/ R)) ==> ~P
