Изменения

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

Определение булевой функции

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

Навигация