Ответ: Восстановление таблицы истинности
У этого задания официального ключа нет, поэтому ответ получен в разборе и с ключом не сверен. Перед тем как заучивать результат, пройдите выкладки — там видно, откуда взялось каждое число.
В бланк: число или слово без единиц измерения; дробную часть отделяйте запятой.
Миша заполнял таблицу истинности логической функции $F = ((w \to y) \to x) \lor \lnot z$, но успел заполнить лишь фрагмент из трёх различных её строк, не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$.
| Столбец 1 | Столбец 2 | Столбец 3 | Столбец 4 | $F$ |
|---|---|---|---|---|
| 1 | 0 | |||
| 0 | 0 | |||
| 1 | 0 | 0 | 0 |
Определите, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$.
Где здесь ошибаются
Забывают, что дизъюнкция равна нулю только при нулевых значениях обоих выражений.
Неверно определяют условие ложности импликации: $A \to B = 0$ только при $A = 1$ и $B = 0$.
Путают порядок переменных в ответе с порядком их записи в формуле.