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