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

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

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

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

Условие

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

Решение

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

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

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

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

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