Задания
Версия для печати и копирования в MS WordУкажите значения логических переменных Р, Q, S, Т, при которых логическое выражение
(Р ∨ ¬Q) ∨ (Q → (S ∨ Т)) ложно.
Ответ запишите в виде строки из четырех символов: значений переменных Р, Q, S, T (в указанном порядке).
Решение.
Логическое "ИЛИ" ложно тогда и только тогда, когда ложны оба утверждения.
(1) (Р ∨ ¬Q) = 0
(2) (Q → (S ∨ Т)) = 0
(1) (Р ∨ ¬Q) = 0 => P = 0, Q = 1.
(2) (Q → (S ∨ Т)) = 0 Применим преобразование импликации:
¬Q ∨ S ∨ Т = 0 => S = 0, T = 0.

