LogicBuddy berechnet Logik
LogicBuddy berechnet logische Funktionen
LogicBuddy wurde für Einsteiger und Praktiker entwickelt, die einfache logische Schaltungen erstellen wollen.
Einsteiger stehen oft vor dem Problem, dass sie nicht wissen, wie sie das logische Problem formulieren sollen. Oft werden relativ komplexe Formulierungen verwendet. Wenn diese logischen Funktionen unmittelbar als Schaltung aufgebaut werden sollen, ist ein relativ hoher Aufwand zu treiben.
Es ist sinnvoll, logische Funktionen (Ausdrücke) in eine einfache Form zu bringen, sie zu minimieren. Für die technische Realisierung werden am besten NAND und NOT verwendet.
Oft wird die Funktion in eine Wahrheitstabelle übertragen und diese dann minimiert. Zu Fuß werden dann meistens Karnaugh-Veitch-Diagramme verwendet. Es gibt natürlich auch Software, die das erledigt z.B. Boolean Bot oder Espresso. Das Ergebnis muss in der Regel noch in eine Form gebracht werden, die als Schaltung realisiert werden.
LocicFriday ist eine grafische Oberfläche für Espresso. Mit LocicFriday kann im Prinzip alles gemacht werden, was zur Minimierung von logischen Ausdrücke oder Wahrheitstabellen benötigt wird. Sogar Schaltungen können generiert werden. Leider ist die Bedienung und Darstellung für Einsteiger recht verwirrend und die Dokumentation ist ebenso rudimentär wie die Fehlermeldungen.
Graphische Oberfläche von LogicBuddy
LogicBuddy ist eine grafische Benutzeroberfläche, die Espresso verwendet.
LogicBuddy
- minimiert eine Wahrheitstabelle auf die Darstellung
- NAND - NOT oder
- AND - OR - NOT,
- erzeugt eine Wahrheitstabelle aus logischen Ausdrücken und
- akzeptiert (in gewissem Rahmen) umgangssprachliche Formulierungen.
Das Hauptfenster von LogicBuddy besteht aus zwei Teilen:
- Dem Fenster mit der minimierten Funktion und
- dem Fenster mit der Wahrheitstabelle.
Die minimierte Funktion wird aus der Wahrheitstabelle erzeugt. Die Wahrheitstabelle kann einfach durch Anklicken verändert werden. Ein spezieller Dialog erlaubt es, Gruppen von Einträgen in der Tabelle zu ändern.
Die Wahrheitstabelle kann aus logischen Funktionen generiert werden. Die logischen Funktionen werden im Editor eingegeben. Die minimierten Funktionen der Tabelle können in den Editor übernommen werden.
Die NAND-NOT-Form kann einfach durch NAND-Gatter realisiert werden.
In dem Eingabe-Fenster des Editors können logische Funktionen formuliert werden. Diese werden von LogicBuddy analysiert. Fehlermeldungen werden im unteren Fenster angezeigt.
LogicBuddy unterstützt Deutsch und Englisch. Logische Funktionen in LogicBuddy
LogicBuddy akzeptiert logische Funktionen wie
x = ( a and b ) or ( not a and not b ) . # englisch x = ( a und b ) oder ( nicht a und nicht b ) . # deutsch y = NAND( NAND( NOT a, b ), x ).
Eine Beschreibung der logischen Funktionen gibt es unter
Hilfe in LogicBuddy
In LogicBuddy ist eine Hilfe integriert:
- Eine Ballon-Hilfe erscheint, wenn die Maus über ein Element der grafischen Oberfläche bewegt wird.
-
Die Ballon-Hilfe kann mit
ein- und ausgeschaltet werden.
-
Der Knopf
öffnet die Hilfe zu LogicBuddy.
- Mit der Taste <F1> wird eine Hilfe-Seite zum Kontext angezeigt.
- Mit der rechten Maustaste wird eine Hilfe-Seite zum Kontext angezeigt.
Die Hilfe beschreibt auch die Syntax der logischen Funktionen. Damit werden sich Einsteiger allerdings schwer tun 
Im Editor wird diese Hilfe mit <F2> und <F3> aufgerufen.