Логическая функция F задана выражением \(\neg (x \rightarrow z) \vee (y \equiv w) \vee \neg y\), Ниже приведена частично заполненна таблица истинности для указанной функции, которая содержит неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных w, x, y, z.
| ? |
? |
? |
? |
F |
| 0 |
0 |
|
|
0 |
| 0 |
|
|
|
0 |
| 1 |
1 |
|
0 |
0 |
В ответе напишите буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
Пример. Функция задана выражением \(\bar x \vee y\), зависящим от двух переменных, а фрагмент таблицы имеет следующий вид.
В этом случае первому столбцу соответствует переменная
y, а второму столбцу – переменная
x. В ответе следует написать:
yx.