61
правка
Изменения
→Конъюнктивная нормальная форма (КНФ)
'''Конъюнктивная нормальная форма, КНФ''' (англ. ''conjunctive normal form, CNF'') {{---}} нормальная форма, в которой [[Определение булевой функции|булева функция]] имеет вид конъюнкции нескольких простых дизъюнктов.
}}
Любая булева формула с помощью использования закона двойного отрицания, закона де Моргана и закон закона дистрибутивности может быть записана в КНФ.
'''Пример КНФ:'''
