Изменения

<tex>(x \wedge land y \wedge land z) \vee lor (x \wedge land y \wedge land \neg lnot z) \vee lor (x \wedge land \neg lnot y \wedge land z) \vee lor (\neg x \wedge land y \wedge land z)</tex>.

<tex>((x \wedge land y \wedge land z) \vee lor (x \wedge land y \wedge land \neg lnot z)) \vee lor ((x \wedge land \neg lnot y \wedge land z) \vee lor (x \wedge land y \wedge land z)) \vee lor ((\neg x \wedge land y \wedge land z) \vee lor (x \wedge land y \wedge land z))</tex>.Вынесем в каждой скобке общий конъюнкт (например, в первой <tex>(x \wedge land y \wedge land z) \vee lor (x \wedge land y \wedge land \neg lnot z)=(x \wedge land y) \vee lor (z \wedge land \neg lnot z))</tex>. Т.к. <tex>z \wedge land \neg lnot z = 0</tex>, то такой конъюнкт не влияет на значение выражения, и его можно опустить.Получим в итоге формулу <tex>(x \wedge land y) \vee lor (y \wedge land z) \vee lor (x \wedge land z)</tex>.<br><br>

Сокращенная ДНФ: форма записи функции, обладающая следующими свойствами:<br>1. #Никакие два слагаемых нельзя объединить по рассмотренному выше правилу.<br>2. #Ни один из конъюнктов не является подмножеством другого (например, <tex>(x \wedge land y)</tex> - подмножество <tex>(x \wedge land y \wedge land z)</tex>).<br> 

Минимальная ДНФ {{- --}} та сокращенная ДНФ, в которой содержится минимальное количество вхождений переменных.

Каждая минимальная ДНФ является сокращенной, но не каждая сокращенная {{- --}} минимальна.Например, запись <tex>(x \wedge land y) \vee lor (y \wedge land z) \vee lor (x \wedge land z)</tex> является минимальной ДНФ для медианы (она же сокращенная, как видно в примере выше); а запись <tex>(x \wedge land y \wedge land \neg lnot z) \vee lor (\neg x \wedge land y \wedge land z) \vee lor (x \wedge land z)</tex> - не минимальная, но сокращенная ДНФ.<br>