Восстановление таблицы истинности
Миша заполнял таблицу истинности логической функции $F = (x \lor \neg y) \land \neg(x \equiv z) \land w$, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$. Определите, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$. Запишите буквы $w$, $x$, $y$, $z$ в порядке соответствующих им столбцов.
| Столбец 1 | Столбец 2 | Столбец 3 | Столбец 4 | $F$ |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | |
| 0 | 0 | 1 | 1 | 1 |
| 0 | 1 |
Условие как в банке ФИПИ — открыть и сверить
| Миша заполнял таблицу истинности логической функции F (x \/ ¬y) /\ ¬(x ≡ z) /\ w,
но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.
Определите, какому столбцу таблицы соответствует каждая из переменных w, x, y, z. В ответе напишите буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно. Пример. Функция F задана выражением ¬x \/ y, зависящим от двух переменных, а фрагмент таблицы имеет следующий вид.
В этом случае первому столбцу соответствует переменная y, а второму столбцу переменная x. В ответе следует написать: yx. | ||||||||||||||||||||||||||
| |
Формат: число или слово без единиц измерения; дробную часть отделяйте запятой.
1Мягкая — с чего смотретьуровень 1 из 3
Какая переменная обязана иметь значение $1$ в каждой строке, где $F = 1$?
2Наводящая — какие числа считатьуровень 2 из 3
Для истинности функции необходимо, чтобы $w = 1$ и $x \ne z$, поскольку $\neg(x \equiv z) = 1$.
3Прямая — фактически решениеуровень 3 из 3
Четвёртый столбец соответствует $w$. Во второй строке первый и третий столбцы различаются, значит это $z$ и $x$. Проверка первой строки даёт: первый столбец — $z$, второй — $y$, третий — $x$.