Задача . Сплошные следования (2023-24, 11кл)

Известно, что логическое высказывание \(x \rightarrow y\) является истинным, а логическое высказывание \(y \leftrightarrow z\)является ложным. Выберите среди перечисленных ниже высказываний все те, для которых в этом случае можно однозначно определить их логическое значение (истинность или ложность).

1. \((x \rightarrow y) \leftrightarrow z\)
2. \(((x\land\overline y) \leftrightarrow (y \land z)) \rightarrow (y \leftrightarrow z)\)
3. \((x \rightarrow y) \rightarrow (y \ xor\ z)\)
4. \((\overline{z \ xor \ y}) \rightarrow (y \rightarrow z)\)
5. \((\overline y \land z) \rightarrow (y \leftrightarrow \overline x)\)