středa 20. srpna 2008

Poznámka k disjunktivní normální formě

Není pravda, že výroky v disjunktivní nebo konjunktivní formě jsou dány (až na pořadí) k danému výroku jednoznačně. Z omylu jsem se – naštěstí sám – vyvedl tímto důkazem: Je-li dána disjunktní normální forma

A + B + C + ... ,

pak je ekvivalentní s výrokem

A & X + A & not(X) + B + C + ...,

který je také v disjunktivní normální formě. Analogicky pro konjunktivní normální formu. Z tohoto je dokonce vidět, že ekvivalentních normálních forem je nekonečně mnoho. Pro úplnou normální formu však platí, že až na pořadí jednoznačná je.

Žádné komentáře: