Математическая логика.Приведение к виду КНФ |
Здравствуйте, гость ( Вход | Регистрация )
Математическая логика.Приведение к виду КНФ |
borzoni |
20.12.2007, 21:05
Сообщение
#1
|
Школьник Группа: Продвинутые Сообщений: 37 Регистрация: 4.3.2007 Город: Орел |
Здравствуйте, я натолкнулся на одну проблему при доказательстве формулы резолюцией:
как привести даное выражение к виду КНФ: (|A^C) &B&|C^(|B^C)&A&|C |-отрицание, вроде бы по закону дистрибутивности действовать надо, но когда начинаю выходит что-то не то... Распишите пожалуйста поподробнее, если сможете решить пример... |
Текстовая версия | Сейчас: 2.5.2024, 22:32 |
Зеркало сайта Решебник.Ру - reshebnik.org.ru