Hilfe zu den dezentralen Verarbeitungen

(von Christian Gottschall, Wien)

Verarbeitungsseite in diesem Fenster öffnen…

Die dezentralen Verarbeitungen werden direkt auf Ihrem Computer von der Java-Maschine Ihres Browsers ausgeführt. Die Vorteile sind, dass Ihnen ein selbstständiges Programm mit grafischer Benutzeroberfläche zur Verfügung steht und dass Sie die Netzwerkverbindung trennen können, sobald die Java-Klassen übertragen sind. Der Nachteil ist, dass die anfängliche Wartezeit auf Grund der Länge der zu übertragenden Klassen bei einer langsamen Internet-Verbingung mehrere Minuten betragen kann. Ebenfalls einschränkend ist die Anforderung, dass Ihr Browser Java korrekt unterstützen muss und dass Sie seine Java-Unterstützung auch aktiviert haben müssen.

Folgende dezentralen Verarbeitungsaufträge stehen zur Verfügung:

Ausdrucksbaum: Der Ausdrucksbaum der eingegebenen Aussage wird dargestellt.
Alphagraph: Die eingegebene Aussage wird als Alphagraph nach Peirce ausgegeben.
Begriffsschrift: Die eingegebene Aussage wird in der Begriffsschriftnotation Freges angezeigt.
Wahrheitstabelle: Die Wahrheitstabelle der eingegebenen Aussage wird aufgestellt.
DNF: Die DNF (disjunktive Normalform) der Aussage wird gebildet, ohne dass die Zwischenschritte dieser Umformung angezeigt würden.
ein Schritt zur DNF
DNF animiert
KNF
ein Schritt zur KNF: Es wird der nächste Zwischenschritt der Umformung zur KNF ausgeführt.
KNF animiert: Die KNF des eingegebenen Satzes wird gebildet, wobei nacheinander alle Zwischenergebnisse für kurze Zeit angezeigt werden.
Konditionale auflösen: Der Ausdruck wird in eine äquivalente Aussage umgewandelt, die keine Konditionale mehr enthält.
Negationen vor Satzbuchstaben: Der Satz wird in eine äquivalente Aussage umgewandelt, bei der Negationen nur mehr vor Satzbuchstaben (und nicht mehr vor komplexen Ausdrücken) stehen.
Optimierung: Der Ausdruck wird einer sehr einfachen Optimierung unterzogen. Wenn Sie an einer echten, leistungsfähigen Optimierung interessiert sind, sollten Sie die zentralen Verarbeitungen benützen.
Benutzerdefiniert: Es öffnet sich ein Fenster, in dem die Benutzerin den einzelnen in der Aussage vorkommenden Satzbuchstaben Wahrheitswerte zuweisen kann. Im Anschluss daran werden die Wahrheitswerte aller komplexen Teilformeln und der Gesamtformel unter der eingegebenen Wahrheitswertzuordnung angezeigt.
Gegenbeispiel: Es wird eine Wahrheitswertzuordnung aufgefunden und angezeigt, unter der die Aussage falsch ist.
Erfüllen: Es wird eine Wahrheitswertzuordnung aufgefunden und angezeigt, unter der die Aussage wahr (klassischer Fall) ist bzw. einen designierten Wahrheitswert annimmt (nichtklassischer Fall).
erste Bewertung: Unter Zugrundelegung der ersten Wahrheitswertzuordnung der Wahrheitstabelle wird die Bewertung aller Teilformeln und der Gesamtformel errechnet und angezeigt. Dies funktioniert natürlich nur für endlichwertige Logiken.
nächste Bewertung: Unter Zugrundelegung der auf die zuletzt zugrunde gelegten Wahrheitswertzuordnung folgenden Wahrheitswertzuordnung wird die Bewertung aller Teilformeln und der Gesamtformel errechnet und angezeigt.
Bewertung animiert: Wenn die Logik endlichwertig ist, wird über alle möglichen Wahrheitswertzuordnungen iteriert und wird für kurze Zeit für jede von ihnen jede Teilformel und die Gesamtformel bewertet und diese Bewertung angezeigt.
Rücksetzen: Die zuletzt zugrunde gelegte Bewertung wird gelöscht.