Propositional Logic · Tautologies

Lesson 6

Nikolai Chukhin · Alexander S. Kulikov

Problem. Mark all tautologies.

5 points

  1. \((x \Rightarrow y) \lor (y \Rightarrow z)\)

  2. \(((x \lor y) \Rightarrow z) \equiv ((x \Rightarrow y) \lor (y \Rightarrow z))\)

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

  4. \((x \Rightarrow y) \lor (y \Rightarrow x)\)