Версия для печати темы
Нажмите сюда для просмотра этой темы в обычном формате
Форум «Всё о Паскале» _ Математика _ КНФ и ДНФ
Автор: Renbo 27.04.2007 23:50
нужно решить номер 30
Я получил ДНФ, а что дальше делать?
Автор: мисс_граффити 28.04.2007 0:44
формула выполнима, если хотя бы на одном наборе аргументов принимает значение истина, так?
каждое слагаемое ДНФ соответствует набору, дающему истину. если ДНФ существует, значит, формула выполнима...
КНФ - это для того, чтобы проверить, не является ли она тождественно истинной.
на будущее - пожалуй, не стоит выкладывать целый лист ради одной строчки...