Advertisement

Die Resolutionsmethode

  • Martin Ziegler
Part of the Mathematik Kompakt book series (MAKO, volume 0)

Zusammenfassung

Die Allgemeingültigkeit einer aussagenlogischen Formel f läßt sich feststellen, indem man überprüft, daß es keine Belegung der Variablen von f den Wahrheitswert Wergibt. Weil es 2Zahl der Variablen viele Belegungen gibt, ist dieses Verfahren f ür große Formeln nicht praktikabel. Ob es überhaupt ein Verfahren zur überprüfung der Allgemeingültigkeit aussagenlogischer Formeln gibt, dessen Schrittzahl durch ein Polynomin der Zahl der Variablen beschränkt ist, ist äquivalent zum P=NP Problem der Informatik, das bis heute ungelöst ist. Siehe dazu [5].

Copyright information

© Birkhäuser / Springer Basel AG 2010

Authors and Affiliations

  • Martin Ziegler
    • 1
  1. 1.Mathematisches InstitutUniversität FreiburgFreiburgDeutschland

Personalised recommendations