Задание
Выбери тождественно истинные логические выражения, построив для них таблицы истинности.
- \( 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 \)