Привет! Рассмотрим данное выражение, чтобы понять, какие столбцы таблицы истинности соответствуют переменным x, y, z и w.
Из выражения (x ≡ ¬y) → (z ≡ (y ∨ w)) следует, что третий столбец таблицы истинности соответствует переменной z.
Теперь возьмем систему, при которой данное выражение ложно: (x ≡ ¬y) ∧ ¬(z ≡ (y ∨ w)) Из этой системы видно, что первому столбцу таблицы истинности соответствует переменная x.
Также из условия z ≡ (y ∨ w) следует, что второму столбцу таблицы истинности соответствует переменная w.
Ответом будет последовательность: zwyx.
Пожалуйста, оцени мой ответ.
