Exercise 8.

Simplify the following statements (so that negation only appears right before variables).

  1. \(\neg(P \imp \neg Q)\text{.}\)

  2. \((\neg P \vee \neg Q) \imp \neg (\neg Q \wedge R)\text{.}\)

  3. \(\neg((P \imp \neg Q) \vee \neg (R \wedge \neg R))\text{.}\)

  4. It is false that if Sam is not a man then Chris is a woman, and that Chris is not a woman.

Solution.
in-context