Миша заполнял таблицу истинности функции (x /\ ¬y) \/ (y ≡ z) \/ w, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z. Определите, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.
Answers & Comments
____
| x=0
| y=1
-------
y(не равно)z
w=0
Cразу видно, что третий столбец это w. Заметим, что x это переменная 2, так как . Из первого выражения x ∧ ¬y и последних двух строк таблицы видно, что переменная 1 это y, а четвёртая переменная это z.
Ответ: yxwz