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