Миша заполнял таблицу истинности функции (x /\ ¬y) \/ (y ≡ z) \/ w, но успел заполнить...

Question

Миша заполнял таблицу истинности функции (x /\ ¬y) \/ (y ≡ z) \/ w, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z. Определите, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.

---

Answer 1

Рассмотрим данное выражение. Преобразуем логическое выражение (x ∧ ¬y) ∨ (y ≡ z) ∨ w и получим систему, при которой оно ложно:
____
| x=0
| y=1
-------
y(не равно)z
w=0

Cразу видно, что третий столбец это w. Заметим, что x это переменная 2, так как . Из первого выражения x ∧ ¬y и последних двух строк таблицы видно, что переменная 1 это y, а четвёртая переменная это z.

Ответ: yxwz