 |
 |
 |
 |
 |
 |
Startseite » Forum » Programm zur Umwandlung in pränexe Normalform?
Programm zur Umwandlung in pränexe Normalform?
Universität / Fachhochschule
Sonstiges
Tags: Logik-Programmierung
 
|
  |
|---|
|
Hi! Ich bin auf der Suche nach einem (opensource)Programm, mit dem ich logische Formeln umwandeln kann, . so, dass sie einer Normalform wie der pränexen Normalform entsprechen. . ich gebe ein (natürlich formaler): . und ex. und er spuckt mir dann aus . ex. und Habe mich kurz in die Logik-Programmierung mit Prolog eingelesen, aber dort keine Lösung gefunden. Eine webseite sagte, dass die automatische Verarbeitung von Quantoren ungelöst sei, was ich mir aber nicht vorstellen kann. Jemand eine Idee? Danke!Mefisto |
|
|
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|
651563
651563