195
правок
Изменения
м
*Любые два слагаемых различаются как минимум в двух позициях
*Ни один из конъюнктов не содержится в другом. Например, <tex>(x \land y)</tex> содержится в <tex>(x \land y \land z)</tex>.
}}
→Сокращенная ДНФ
{{Определение
|definition =
'''Сокращенная ДНФ''' (англ. ''reduced disjunctive normal form'') {{---}} форма записи функции, обладающая следующими свойствами:любые два слагаемых различаются как минимум в двух позициях, ни один из конъюнктов не содержится в другом.}}'''Например:'''<tex>(x \land y)</tex> содержится в <tex>(x \land y \land z)</tex>.
Функцию можно записать с помощью сокращенной ДНФ не единственным способом.
