Логическая функция F задаётся выражением (x ∨ y) ∧ ¬(y ≡ z) ∧ ¬w
.pdf
Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥
Логическая функция F задаётся выражением (x ∨ y) ∧ ¬(y ≡ z) ∧ ¬w.На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.
Решение
Для всех строк заданной таблицы истинности значение функции F = 1. Используя определение конъюнкции ∧, получаем (x ∨ y) = ¬(y ≡ z) = ¬w = 1, отсюда w = 0; x-любое, если y = 1, z = 0, либо x = 1, если y = 0, z = 1.
По полученным значениям заполним таблицу истинности и выполним проверку:
z y x w (x ∨ y) y ≡ z ¬(y ≡ z) ¬w (x ∨ y) ∧ ¬(y ≡ z) ∧ ¬w
1 0 1 0 1 0 1 1 1
0 1 0 0 1 0 1 1 1
0 1 1 0 1 0 1 1 1
Ответ