AI Tutor
Back to Logical Equivalences

Exercise 5

Avg difficulty 2.5

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

  1. ¬(p→¬q)\neg(p \to \neg q).
  2. (¬p∨¬q)→¬(¬q∧r)(\neg p \vee \neg q) \to \neg (\neg q \wedge r).
  3. ¬((p→¬q)∨¬(r∧¬r))\neg((p \to \neg q) \vee \neg (r \wedge \neg r)).

Hammond, Discrete Math for Shockers, §2.1 Logical Equivalences, Exercise 5

AI Tutor

Adapted from Discrete Math for Shockers © 2021 John Hammond. Licensed under CC BY-SA 4.0. Source: Discrete Math for Shockers. Imported at revision 2538beb.