Составим таблицу истинности для функции \( F = ((z \rightarrow x) \rightarrow (x = y)) \vee \neg w \)
| w | x | y | z | z → x | x = y | (z → x) → (x = y) | ¬w | F |
| 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 0 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 |
| 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 |
| 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 |
Фрагмент таблицы, который заполнил Миша:
| F | |||
| 0 | 1 | 0 | 0 |
| 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 0 |
Сравнивая эти строки с полной таблицей истинности, можно определить соответствие столбцов переменным:
Переменные в порядке их появления в таблице: w, x, y, z. Соответствие столбцов:
В задании указано: «сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.».
Значит, в ответе должны быть буквы, соответствующие столбцам таблицы Миши:
Однако, в условии задачи, в данной таблице, столбец F равен 0, 0, 0. Столбцы, заполненные Мишей, это столбцы значений переменных. Последний столбец — это F.
Исходя из того, что таблица Миши — это ФРАГМЕНТ, а столбцы F = 0, 0, 0, нам нужно сопоставить столбцы таблицы Миши с переменными w, x, y, z.
Рассмотрим строки Миши:
| w | x | y | z | F |
| 0 | 1 | 0 | 0 | 0 |
| 0 | 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 0 | 0 |
Посмотрим на полные возможные значения F:
| w | x | y | z | F |
| 1 | 0 | 1 | 0 | 0 |
| 1 | 1 | 0 | 0 | 0 |
Эти две строки подходят под часть заполненной таблицы Миши:
| w | x | y | z | F |
| 1 | 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 |
Но в задании три строки. Посмотрим на исходную таблицу:
| F | |||
| 0 | 1 | 0 | 0 |
| 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 0 |
Если сопоставить столбцы из таблицы Миши с переменными:
Значит, столбцы соответствуют переменным в следующем порядке: z, x, y, w.
В ответе нужно написать буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы.
Первый столбец Миши (0, 0, 1) соответствует z.
Второй столбец Миши (1, 0, 1) соответствует x.
Третий столбец Миши (0, 0, 0) соответствует y.
Четвёртый столбец Миши (0, 0, 0) соответствует w.
Порядок столбцов в ответе: z, x, y, w.
Ответ: zxyw