AI Tutor
Back to Complete truth tables

Exercise C

Avg difficulty 3.0

Write complete truth tables for the following sentences and mark the column that represents the possible truth values for the whole sentence.

  1. ¬(S↔(P→S))\neg(S\leftrightarrow(P\rightarrow S))

  2. ¬[(X∧Y)∨(X∨Y)]\neg[(X\wedge Y)\vee(X\vee Y)]

  3. (A→B)↔(¬B↔¬A)(A\rightarrow B)\leftrightarrow(\neg B\leftrightarrow\neg A)

  4. [C↔(D∨E)]∧¬C[C\leftrightarrow(D\vee E)]\wedge\neg C

  5. ¬(G∧(B∧H))↔(G∨(B∨H))\neg(G\wedge(B\wedge H))\leftrightarrow(G\vee(B\vee H))

Magnus et al., forall x: Calgary, Truth tables, Complete truth tables, Exercise C

AI Tutor

Adapted from forall x: Calgary © 2025 P. D. Magnus, Tim Button, Robert Trueman, and Richard Zach. Licensed under CC BY 4.0. Source: forall x: Calgary. Imported at revision ec34df8.