Software-Werkzeuge für Wahrheitstabellen

Die die Minimierung einer Wahrheitstabelle kann durch folgende Tools vereinfacht werden:

• TRUTH TABLE SOLVER ist ein Java-Programm.

• Boolean Bot ist eine interaktive Website.
  Sie benötigt Javascript.

• Bedienung

• Button "Truth Table" drücken.

• In das Feld "a, b, c, ..." eintragen, je nach der Anzahl der Variablen. Durch Kommas getrennt. Namen der Variablen einzutragen ist vergebliche Mühe. Sie werden später vergessen.

• Button "Do Stuff" drücken.

• In der Tabelle in der Spalte Out die Werte anklicken, die 1 sein sollen.

• Button "Do Stuff" drücken.

• Unter "Minimized Expression(s)" steht das Ergebnis.

• Interpretation des Ergebnisses

• Wenn zwei Buchstaben unmittelbar aufeinander folgen, " AND " dazwischen setzen. Die Gänsefüßchen natürlich nicht, allerdings die Leerzeichen.

• Wenn auf ein x' ein Buchstabe folgt, vor den folgenden Buchstaben ein " AND " einsetzen. x ist ein Buchstabe.

• Alle + durch " OR " ersetzen.

• Alle x' durch " NOT x" ersetzen. x ist ein Buchstabe.