1 |
disjunktivní normální formadisjunctive normal form
|
2 |
disjunktivní normální formaVe výrokové logice je formule v disjunktivní normální formě (DNF), pokud je ve tvaru disjunkcí P-termů, kde P-term definujeme jako konjunkce literálů (a je-li
x
[..]
|
<< disjunkce | disjunktní >> |