61
правка
Изменения
→Дизъюнктивная нормальная форма (ДНФ)
=== Дизъюнктивная нормальная форма (ДНФ) ===
{{main|СДНФДНФ}}{{Определение|definition ='''Дизъюнктивная нормальная форма (ДНФ)''' (англ. ''disjunctive normal form, DNF'') {{---}} нормальная форма, в которой [[Определение булевой функции|булева функция]] задана как дизъюнкция некоторого числа простых конъюнктов.}} '''Примеры ДНФ:''' <tex>f(x,y,z) = (x \land y) \lor (y \land \neg {z})</tex>. <tex>f(x,y,z,t,m) = (x \land z) \lor (y \land x \land \neg{t}) \lor (x \land \neg {m}) </tex>.
=== Конъюнктивная нормальная форма (КНФ) ===
