Изменения

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