Propositional Logic · Tautologies

Lesson 6

Nikolai Chukhin · Alexander S. Kulikov

Problem. Mark all tautologies.

This problem can only be submitted at Cogniterra.

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