Сокращенная ДНФ (англ. reduced disjunctive normal form) — форма записи функции, обладающая следующими свойствами:
любые два слагаемых различаются как минимум в двух позициях,
ни один из конъюнктов не содержится в другом.
