ЕГЭ-15. Математическая логика

659 задач
Число у задачи — рейтинг сложности, слово рядом — насколько она трудна по сравнению с другими задачами такого же типа. Шкалы задач с ответом и задач с кодом между собой не сравниваются. Рядом — счётчики попыток: успешные, неуспешные.
На числовой прямой даны два отрезка: B = [133; 175] и C = [140; 199]. Укажите наименьшую возможную длину такого отрезка A, что формула
( ¬ (x ∈ B)) → (((x ∈ C) /\ ¬(x ∈ A)) → (x ∈ B))
истинна, т.е. принимает значение 1 при любом значении переменной х.
 
На числовой прямой даны два отрезка: P = [117; 158] и Q = [129; 180]. Укажите наименьшую возможную длину такого отрезка A, что формула
(x P) → (((x Q) /\ ¬(x A)) → ¬(x P))
истинна, т.е. принимает значение 1 при любом значении переменной х.
 
Поделиться
Класснуть