Жауабы: Определение столбцов таблицы истинности
Это официальный ключ тапсырмаға, источник — ФИПИ тапсырмаларының ашық банкі. Свой ответ можно сверить на странице тапсырма.
Бланкке: өлшем бірліктері жоқ сан немесе сөз; бөлшек бөлігін үтірмен бөліңіз.
Миша заполнял таблицу истинности логической функции $F = \neg((x \to w) \to (w \equiv z)) \land y$, но успел заполнить лишь фрагмент из трёх различных строк, не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$. В первом столбце фрагмента значения неизвестны, во втором столбце указаны значения $0$, неизвестное, $1$, в третьем — $1$, неизвестное, $1$, в четвёртом — $0$, $0$, неизвестное. Во всех трёх строках значение $F$ равно $1$.
Определите соответствие между столбцами таблицы и переменными.
Где здесь ошибаются
Забывают, что при $F=1$ обязательно $y=1$.
Путают условие отрицания эквиваленции: требуется $w\ne z$.
Не учитывают, что три строки таблицы должны быть различными.