Задание

Выбери тождественно истинные логические выражения, построив для них таблицы истинности.

  • \(((x \to y) \land (y \to z)) \to (x \to z)\)
  • \(((x \lor y) \equiv \neg x) \to y\)
  • \(x \land y \to x \lor y\)
  • \((x \to y) \equiv (y \to x ) \)
  • \(x \to (x \to \neg y) \)