Привести к КНФ следующую формулу и проверить является ли она тождественно-истинной. Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по логике
Привести к КНФ следующую формулу и проверить является ли она тождественно-истинной

Привести к КНФ следующую формулу и проверить является ли она тождественно-истинной .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Привести к КНФ следующую формулу и проверить является ли она тождественно-истинной: ((p&r)→(pvr))

Решение

Потяни, чтобы посмотреть

Сначала приводим формулу к нормальной форме.
Применяем равносильность (13):
((p&r)v(pvr))
Затем применяем равносильность (10):
(pvr)v(pvr)
Применяем равносильность (6):
(pvr)v(rvp)
Мы получили КНФ исходной формулы, которая является тождественно-истинной, так как по определению, формула в КНФ тождественно-истинная, если каждая элементарная дизъюнкция, входящая в неё содержит переменную и её отрицание

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу

Определите в каком отношении между собой находятся следующие понятия

581 символов

Логика

Контрольная работа

Попробуйте опровергнуть данный тезис. В Барнауле есть удобное метро

518 символов

Логика

Контрольная работа

Найти понятия отношения между которыми удовлетворяли бы приведенным на рисунке схемам

211 символов

Логика

Контрольная работа

Закажи контрольную работу

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.