Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/snippets-of-logic.net/html/incl/layout.php on line 25
Hier eine kleine Übersicht der Funktionen, die mir noch vorschweben, in willkürlicher Reihenfolge...
Anregungen sind willkommen (email an):
andre dot frochaux at informatik dot hu-berlin dot de
In allen Teilen
Support Engl./Franz.
'Online'-Hilfe
Exakte Angabe aller verwendeten Definitionen.
Aussagenlogik
Erzeugen konj/disj Klauseln aus Normalformen
NNF geschwätzig
KNF aus NNF
DNF aus NNF
Resolvente, Davis-Putnam-Algorithmus,Tseitin
Tseitin mit Polarität
Dpll mit eigener Wahl des nächsten Literals
Merken von Formel(n) und Test auf Folgerung , Äquivalenz
