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