Die Demonstrationsbeispiele auf dieser Seite entsprechen Aufgaben aus Kapitel 1 des T1-Skripts.

Die Applets auf dieser Seite verwenden wieder die digital-signierte Version unserer interaktiven Jython-Console und laden bei Bedarf kleinere Jython-Skripte direkt vom Webserver nach. Abhängig von den Sicherheitseinstellungen Ihres Browsers bzw. ihres JREs bekommen Sie eventuell eine Nachfrage und Warnung. Bitte bestätigen Sie die Ausführung des signierten Applets.

Hilfsfunktionen für Boole'sche Ausdrücke:

Bitte das folgende Applet einmal (durch Doppelklicken) ausführen, um die Funktionen zur Auswertung Boole'scher Ausdrücke in die JythonConsole zu laden.

Das folgende Applet berechnet Funktionstabellen für die angegebenen Boole'schen Ausdrücke und stellt diese dann in Textfenstern dar.

Die bisher implementierten Funktionen zur Überprüfung Boole'scher Ausdrücke basieren auf den oben demonstrierten Grundfunktionen. Als Normalform zum Vergleich zweier Ausdrücke dienen dabei die Funktionstabellen; zusätzlich können aber weitere Eigenschaften wie die Art und Anzahl der Verknüpfungen berücksichtigt werden.

Das folgende Applet demonstriert einige der Fehlermeldungen bzw. Hilfestellungen, die bei der Überprüfung automatisch generiert werden können. Dazu wird jeweils die im obigen Applet hinter der Benutzeroberfläche verborgene Funktion check_t1_4_1a direkt mit verschiedenen (falschen und korrekten) Eingabeparamtern aufgerufen; die zugehörigen Ausgaben erscheinen als Protokoll zusammen mit den Eingaben in der Console.