Дизъюнктивная нормальная форма (ДНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. 8 Другими словами, это дизъюнкция нескольких элементарных конъюнкций. 1

Используется ДНФ для автоматического доказательства теорем. 18 Это один из важных процессов в разработке и верификации интегральных схем, а ещё в теории искусственного интеллекта. 1

Также алгебраическая форма представления булевых функций, к которой относится и ДНФ, используется для минимизации (упрощения формул) и для построения логических схем. 4

Любую логическую формулу можно преобразовать в ДНФ, при этом изначальная формула и её ДНФ будут эквивалентны. 1