Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Komplexität der NF-Transformation<br />
Satz: Im allgemeinen gibt es zu einer beliebigen Formel F nicht immer eine logisch<br />
äquivalente Formel in Klauselnormalform polynomieller Grösse.<br />
Durch die Einführung von Abkürzungen kann jedoch eine Formel (die neue Variablen<br />
enthält) mit linearer (<strong>Aussagenlogik</strong>) bzw. quadratischer (Prädikatenlogik) Grösse<br />
gefunden werden.<br />
Satz: Die Transformation erhält Erfüllbarkeit und Unerfüllbarkeit.<br />
27