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