Propositional Logic · Tautologies

Lesson 4

Nikolai Chukhin · Alexander S. Kulikov

Problem. Which of the following pairs of formulas are equivalent?

This problem can only be submitted at Cogniterra.

  1. \(((x \oplus y) \land z)\) and \(((x \land z) \oplus (y \land z))\)

  2. \(((x \Rightarrow y) \land (y \Rightarrow x))\) and \((x \equiv y)\)

  3. \((x \land (x \Rightarrow y))\) and \((x \lor y)\)