Предмет: Информатика, автор: galinacyzz

На числовой прямой даны два отрезка: P = [10, 40] и Q = [30, 50]. Отрезок A таков, что формула
( (x ∈ А) → (x ∈ Q) ) \/ (x ∈ P)

тождественно истинна, то есть принимает значение 1 при любом значении переменной х. Какова наибольшая возможная длина отрезка A?


archery: с 10 до 50, длина 40

Ответы

Автор ответа: m0nclous
10
У нас есть отрезки
P = [10, 40]
Q = [30, 50]
и формула
( (x ∈ A) → (x ∈ Q) ) ∨ (x ∈ P)
в формуле повторяется элемент "x ∈", его можно опустить, получаем
(A → Q) ∨ P
Знак "→" означает импликация и раскрывается по формуле ¬x∨y
Знак "¬" означает отрицание, то есть если истино, то ложь и на оборот.
Раскроем импликацию
(¬A ∨ Q) ∨ P
Знак "∨" означает дизъюнкцию, то есть "или" он равносилен знаку "+" в математике, поэтому скобки можно не писать, смысл выражения не изменится.
¬A ∨ Q ∨ P, это всё равно истине значит ¬A ∨ Q ∨ P = 1
Вот мы и упростили формулу.
Теперь можно нарисовать данные отрезки.
Прикрепил во вложения.
Ответ: 40
Приложения:
Похожие вопросы
Предмет: Литература, автор: liziborshsc
Предмет: Русский язык, автор: zaparovatinatin97
80. Спишите предложения. Вставьте в подходящее место заключенные в скобки причастные обороты. Расставьте недостающие запятые. Напишите букву б. над действительными причастиями и букву с.-иад страдательными. 1) в избу потёк прохладный, влажный воздух (слегка пахнуший дым- ком) (В. А. Курочкин). 2) Над морем низко висело огромное солнце (уня приплюснутое) (Л.С. Соболев). 3) Солнце почти не отражается в воде (рассекаемой ударами весел) (М. Горький). 4) в тетради появилось? ещё несколько коротких записей (редко открываемой) (Н.А. Островский). 5) Горы необыкновенно красивы (озаряемые лучами солнца) (И.С. Соколов Микитов). 6) Осенний дождь вдруг стих, и в воздухе закружились мох- натые снежинки (шумевший за окнами) (Л. Герасимова). 7) В ней пахло полом, ромашкой и мелиссой (недавно выкрашенным) (И.С. Тургенее). . Обозначьте каждый причастный оборот как член предложения. ​



СРОЧНО ПОЖАЛУЙСТА!
Предмет: Английский язык, автор: zuevii5
Предмет: Математика, автор: Аноним