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

Для начала давайте разберём логическую функцию \( F \) и её компоненты. Ваша функция задана выражением:

\[ F = (x \equiv (w \lor y)) \lor ((w \rightarrow z) \land (y \rightarrow w)) \]

Теперь давайте проанализируем таблицу истинности и данные строки, которые уже заполнены.

1. Определим возможные значения для переменных \(x, w, y, z\).
2. Посмотрим на строки таблицы:
   • Первая строка: \(1, ???, ???, ???, 0\)
   • Вторая строка: \(1, 0, ???, ???, 1\)
   • Третья строка: \(1, ???, 1, ???, 0\)

Теперь заполним возможные значения для \(w, x, y, z\).

Анализ строк:

• В первой строке \(F = 0\) при \(x = 1\). Это говорит о том, что все выражения в функции должны давать 0.
• Во второй строке \(F = 1\) при \(x = 1\) и \(y = 0\).
• В третьей строке \(F = 0\) также говорит о том, что важно выяснить, какие значения для остальных переменных делают выражение ложным.

Применим функцию:

1. Подставим значение из второй строки, \(x = 1\) и \(y = 0\), и посмотрим, что произойдёт с \(w\) и \(z\).

   Подстановка в функцию: \[ F = (1 \equiv (w \lor 0)) \lor ((w \rightarrow z) \land (0 \rightarrow w)) \] \[ F = (1 \equiv w) \lor ((w \rightarrow z) \land \text{ложь}) \] Поскольку \(0 \rightarrow w\) всегда истинно, то можно опустить этот компонент. Получаем \(F = 1 \equiv w\) , что означает, что \(w = 1\).

2. Теперь подставим \(w = 1\) и проверим другие условия на других строках. Особенно интересует, когда \(F = 0\).

Смотрим на первую строку: \[ F = (1 \equiv (1 \lor y)) \lor ((1 \rightarrow z) \land (y \rightarrow 1)) \] Это может быть 0, если \(y = 0\) (для раздела с \(\lor y\)) и \(z = 0\) (для \(\rightarrow z\)). Таким образом, для всех строк получаем:

• \(x = 1\)
• \(y = 0\)
• \(w = 1\)
• \(z = 0\)

Итак, соответствие столбцов и переменных: 1-й столбец соответствует \(x\), 2-й столбец соответствует \(y\), 3-й столбец соответствует \(w\), 4-й столбец соответствует \(z\).

Таким образом, ответ: xywz.