В демонстрационном варианте контрольно-измерительных материалов ЕГЭ по информатике (fipi.ru) появилась новая задача на математическую логику, которая обещает быть одной из "проблемных” задач на предстоящем ЕГЭ:
На числовой прямой даны два отрезка: P = [2, 10] и Q = [6, 14].
Выберите такой отрезок A, что формула  (( x∈ A)→(x∈P))∨(x∈Q) тождественно истинна, то есть принимает значение 1 при любом значении переменной х.
... Читать дальше »