AI Tutor
Back to Chapter Review

Exercise 9

Avg difficulty 2.5

Simplify the following.

  1. ¬(¬(p∧¬q)→¬(¬r∨¬(p→r)))\neg (\neg (p \wedge \neg q) \to \neg(\neg r \vee \neg(p \to r))).
  2. ¬∃x¬∀y¬∃z(z=x+y→∃w(x−y=w))\neg \exists x \neg \forall y \neg \exists z (z = x + y \to \exists w (x - y = w)).

Hammond, Discrete Math for Shockers, §2.6 Chapter Review, Exercise 9

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.