Условие:
На числовой прямой даны два отрезка: P = [37; 60] и Q = [40; 77]. Укажите наименьшую возможную длину такого отрезка A, что формула

тождественно истинна, то есть принимает значение 1 при любом значении переменной х.
Решение:
1) для того, чтобы упростить понимание выражения, обозначим отдельные высказывания буквами
A: x А, P: x P, Q: x Q
2) перейдем к более простым обозначениям

3) раскрываем обе импликации по формуле :
