Изменения

Перейти к: навигация, поиск

Специальные формы КНФ

147 байт добавлено, 08:57, 15 октября 2010
Нет описания правки
Рассмотрим две формы, с помощью которых можно представить формулы, заданные в [[Определение булевой функции#Представление булевых функций#Конъюнктивная нормальная форма (КНФ(Conjunctive Normal Form)|конъюнктивной нормальной форме]],т.е имеющей вид конъюнкции выражений в скобках, каждое из которых представляет собой дизъюнкцию одного или нескольких литералов:
144
правки

Навигация