Форум » Логические выражения » 6114 » Ответить

6114

ovkuz: Буду очень благодарна, если кто-нибудь подскажет по данной задаче. На числовой прямой даны два отрезка: B = [23; 37] и C = [41; 73]. Укажите наименьшую длину такого отрезка А, для которого логическое выражение ¬((¬(x ∈ B) → (x ∈ C)) → (x ∈ A)) тождественно ложно, т. е. принимает значение 0 при любом значении переменной x. Решала руками получилось, что при A = B v C, то есть, получилось два отрезка. Написала код, также в А не попали 38, 39 и 40 В ответе написано 50. Поясните, плиз, почему.

Ответов - 5

elpov06:

ovkuz: Спасибо за ответ! А почему в А входит часть от 38 до 41 ?

Поляков: ovkuz пишет: А почему в А входит часть от 38 до 41 ? Потому что нельзя составить А из двух отрезков.


Имя: Ответом к данной задаче может являться, как отрезок из заголовка [38;40], так и любой другой отрезок. Исходя из решения пользователя elpov06. Например, возьмем x = 25. Х будет принадлежать В, с инверсией будет 0, при умножении уже не важно, что будет в С, т.к. левое выражение будет = 0. Остается А. И тут незадача: если мы возьмем отрезок как в ответе [23;73], то у нас в результате будет 1, даже возвращаясь к тому же х=25.

Ж: Может, скобки не так расставили? при х=25 формула выдает 0, как и требуется: ¬((¬(25 ∈ B) → (x ∈ C)) → (25 ∈ A)) ¬((¬(True) → False) → True) ¬((False → False) → True) ¬(True → True) False



полная версия страницы