Question

Какие предикаты первого порядка описывают условие: «Точка X не
принадлежит отрезку [А; В]» ?
а) не (X ≥ А) и X < В;
б) X < А или X > В;
в) не (Х ≤ В или Х ≥ А);
г) Х ≤ А и Х ≥ В.