На числовой прямой даны отрезки. Найдите наименьшую или наибольшую возможную длину отрезка A, при котором формула тождественно истинна или ложна при любых x. Используемые обозначения: not(), and, or, ->, =, in
Входной файл INPUT.TXT содержит в первой строке формулу, далее отрезки, в предпоследней строке указано true или false, т.е. формула тождественно истинна или ложна. В последней строке min или max, т.е. наименьшую или наибольшую возможную длину отрезка A.
| № | INPUT.TXT | OUTPUT.TXT |
|---|
| 1 | (not(x in P) and (x in A)) -> ((x in Q) and (x in A))
P = [10, 39]
Q = [23, 58]
true
max | 48 |
| 2 | not(x in A) -> ((x in Q) = (x in P))
P = [14, 34]
Q = [24, 44]
true
min | 30 |
