Условие задачи
A, B и С – целые числа, для которых истинно высказывание:
¬(А = B) ∧ ((A > B) → (C = B)) ∧ ((B > A) → (C = A))
Чему равно B, если A = 45 и C = 18?
Ответ
Логическое "И" истинно только тогда, когда истинны все высказывания.
Следовательно,
(А = B) = 1, (A B)(C = B) = 1, (B A)(C = A) = 1.
Из первого выясняем, что А B.
Применим преобразование импликации ко второму...