В
Все
У
Українська література
Г
Геометрия
Д
Другие предметы
Э
Экономика
Г
География
О
ОБЖ
М
Математика
М
МХК
Х
Химия
Қ
Қазақ тiлi
Л
Литература
У
Українська мова
О
Обществознание
Ф
Физика
А
Английский язык
А
Алгебра
И
История
Б
Беларуская мова
Б
Биология
М
Музыка
П
Право
И
Информатика
П
Психология
В
Видео-ответы
Н
Немецкий язык
Ф
Французский язык
О
Окружающий мир
Р
Русский язык
гглол
гглол
11.03.2021 06:38 •  Математика

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

Ответ:
reopla
reopla
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
Начни делиться знаниями
Вход Регистрация
Что ты хочешь узнать?