AI Tutor
Back to Complete truth tables

Exercise D

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. (D∧¬D)→G(D\wedge\neg D)\rightarrow G

  2. (¬P∨¬M)↔M(\neg P\vee\neg M)\leftrightarrow M

  3. ¬¬(¬A∧¬B)\neg\neg(\neg A\wedge\neg B)

  4. [(D∧R)→I]→¬(D∨R)[(D\wedge R)\rightarrow I]\rightarrow\neg(D\vee R)

  5. ¬[(D↔O)↔A]→(¬D∧O)\neg[(D\leftrightarrow O)\leftrightarrow A]\rightarrow(\neg D\wedge O)

If you want additional practice, you can construct truth tables for any of the sentences and arguments in the exercises for the previous chapter.

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

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.