Тип Д23 № 3589 
Логические уравнения. Логические уравнения
i
A, B и C – целые числа, для которых истинно высказывание:
(C < A ∨ C < B) ∧ ¬(C+1 < A) ∧ ¬(C+1 < B)
Чему равно C, если A=45 и B=18?
Решение. Логическое "И" истинно тогда и только тогда, когда истинны оба утверждения.
Подставим значения чисел в выражение:
1) (C < A ∨ C < B) = 1 => (C < 45 ∨ C < 18).
2) ¬(C+1 < A) =>, C ≥ 44.
3) ¬(C+1 < B) =>, C ≥ 17.
Из 2) и 1) следует , что C < 45 = 1, а это, вкупе с 2,) значит, что C = 44.
Ответ: 44
PDF-версии: горизонтальная · вертикальная · крупный шрифт · с большим полем