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