Преобразуем выражение – заменим импликацию дизъюнкцией. Получим:
Выражение истинно для тех только тех которые либо лежат в либо не лежат в иными словами – для где
Выражение тождественно истинно тогда и только тогда,
когда Этому условию удовлетворяет только отрезок