Условие задачи
Логическая функция F задаётся выражением ((¬y → w) → (x → z)) → (x → w).
На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.
Ответ
Для всех строк заданной таблицы истинности значение функции F = 0. Используя определение импликации , получаем:
((y w) (x z)) = 1 и (x w) = 0, отсюда x = 1, w = 0 (заполним четвертый и первый столбцы таблицы соответственно),
тогда для ((y w) (x z)) = 1 будут следующие варианты:
1. (y w)...
Потяни
