Задание

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

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