Решение на Python:
Составим таблицу истинности для выражения вручную или при помощи языка Python:
from itertools import product
print("z w x y")
for w, x, y, z in product((0, 1), repeat=4): F:
Далее выпишем те наборы переменных, при которых данное выражение рав
но 1.
В наборах переменные запишем в порядке z, w, x, y.
Получим следующие наборы:
(1, 0, 1, 0),
(1, 0, 1, 1),
(0, 1, 1, 0),
(1, 1, 1, 1),
Сопоставим эти наборы с приведённым в задании фрагментом таблицы истинности.
Поскольку только переменная x принимает значение 1 во всех строках, то ей соответствует 3-й столбец.
Рассмотрим оставшиеся строки таблицы истинности. Тогда 2-й столбец соответствует переменной w, а 1-й столбец — переменной z.
Следовательно, переменные идут по столбцам в порядке zwxy.
Логическое решение:
Шаг 1. Находим столбец x
Во всех найденных наборах переменная x принимает значение 1.
В таблице этому соответствует 3-й столбец.
3-й столбец — это x.
Шаг 2. Что должно выполняться в остальных столбцах
Используем оставшиеся условия из выражения функции F.
Важно: каждая строка таблицы должна гарантировать выполнение этих условий, а не «позволять подобрать значения».
Шаг 3. Подбор переменных
Если считать:
- 1-й столбец — z
- 2-й столбец — w
- 3-й столбец — x
- 4-й столбец — y
то во всех 3 строках фрагмента условия выполняются.
Итоговый ответ
Переменные идут по столбцам в порядке:
zwxy