Propositional Logic · Tautologies

Lesson 4

Nikolai Chukhin · Alexander S. Kulikov

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

5 points

  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)\)