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