Рассмотрим вариант решения задания из учебника Босова 10 класс, Бином: 6. На числовой прямой даны два отрезка: Р = [10; 25] и Q = [20; 55]. Укажите наибольшую возможную длину такого отрезка А, что выражение (х принадлежит А) - > ((х принадлежит Р) v (х принадлежит Q)) истинно при любом значении церемонной х. P=[10;25] Q=[20;55] Преобразуем импликацию через или и не – А- > В = не А v В, и уберем в выражении х А- > (PvQ) =не А U P U Q Так как (А U не А=U), (не А U P U Q=U) А= P U Q P U Q это отрезок [10;55], максимальный отрезок А равен: 55-10=45 Ответ: 45
