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

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