Логическая функция F задаётся выражением ((¬y → w) → (x → z)) → (x → w)
.pdf
Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥
Логическая функция 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) = 0 и (x → z) = 0, то x = 1, w = 0, z = 0, y = 0;
2. (¬y → w) = 0 и (x → z) = 1, то x = 1, w = 0, z = 1, y = 0;
3