На числовой прямой даны два отрезка: \( P = [20; 55] \) и \( Q = [35; 80] \). Укажите наименьшую возможную длину отрезка \( A \), при которой выражение
\( (x\in P) \to \big(((x\in Q)\land \neg(x\in A)) \to \neg(x\in P)\big) \)
истинно при любом значении переменной \( x \).
В ответе укажите одно целое число.