букет223
29.12.2022 06:51

Приведите формулу ¬((y⇒¬x)⇔y) к к.н.ф. или д.н.ф методом равносильных преобразований.

Нажмите на рекламу ниже и сразу увидите ответ
Популярные вопросы:
Ответ:
Soto350
15.10.2020 15:10

\neg ((y \to \neg x) \leftrightarrow y) = \neg ((\neg y \vee \neg x) \leftrightarrow y) = \neg ((\neg y \vee \neg x) \wedge y \vee \neg (\neg y \vee \neg x) \wedge \neg y) = \\\\= \neg ((\neg y \vee \neg x) \wedge y \vee y \wedge x \wedge \neg y) = \neg ((\neg y \vee \neg x) \wedge y \vee 0) = \neg (( y \wedge \neg y) \vee (y \wedge \neg x)) =\\\\= \neg (0 \vee y \wedge \neg x) = \neg (y \wedge \neg x) = \neg y \vee x

Получили КНФ: \neg y \vee x

0,0(0 оценок)
Полный доступ
Позволит учиться лучше и быстрее. Неограниченный доступ к базе и ответам от экспертов и ai-bota Оформи подписку
logo
Начни делиться знаниями
Вход Регистрация
Что ты хочешь узнать?
Спроси ai-бота