- der Link funktioniert leider nicht ! (nicht signierter Beitrag von 188.105.49.187 (Diskussion) 07:38, 19. Sep. 2012 (CEST))
- Hallo, der Algorithmus muss ja auch "unerfüllbar" ausgeben können! Da fehlt noch was.
- Der Abschnitt Horn-Formeln ist redundant zum Artikel Horn-Formel und sollte deshalb entfernt werden.
- 1) Doch, der Link funktioniert.
- 2) 6. Zeile im Abschnitt "Algorithmus
- 3) Nein, hier ist eine Zusammenfassung sinnvoll. --P.C. ✉ 07:42, 19. Sep. 2012 (CEST)