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