LogicBuddy

LogicBuddy ist in ElBuddy enthalten

LogicBuddy berechnet logische Funktion

LogicBuddy kann in ElBuddy mit dem Button aufgerufen werden.

LogicBuddy wurde für Amateure und Anfänger entwickelt, die einfache logische Schaltungen aufbauen wollen.

• Installation von ElBuddy damit wird auch LogicBuddy installiert.

• Download

• Dokumentation von LogicBuddy

Anfänger stehen häufig 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) auf eine einfache Form zu bringen, sie zu minimieren. Für die technische Realisierung wird 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 sich als Schaltung realisieren lässt.

LocicFriday ist eine graphische Oberfläche für Espresso. Mit LocicFriday lässt sich im Prinzip alles machen, was zur Minimierung logischer Ausdrücke bzw. Wahrheitstabellen benötigt wird. Es können sogar Schaltungen generiert werden. Leider ist seine Bedienung und Darstellung für Anfänger ziemlich verwirrend und die Dokumentation ist ebenso rudimentär wie Fehlermeldungen.

Graphische Oberfläche von LogicBuddy

LogicBuddy ist eine graphische Oberfläche die Espresso verwendet.

Sie

• minimiert eine Wahrheitstabelle in die Darstellung

• NAND - NOT

• AND - OR - NOT

• erzeugt eine Wahrheitstabelle aus logischen Ausdrücken

• 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 Klicks verändert werden. Mit einem speziellen Dialog lassen sich Gruppen von Einträgen in der Tabelle ändern.

Die Wahrheitstabelle kann aus logischen Funktionen generiert werden. Die logischen Funktionen werden in einen Editor eingegeben. Die minimierte Funktionen der Tabelle kann 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. Sie werden von LogicBuddy analysiert. Fehler werden in dem untereren Fenster beschrieben.

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 logische Funktionen gibt es unter

• Kurzfassung logische Funktionen

• Logische Funktionen

Hilfe in LogicBuddy

In LogicBuddy ist eine Hilfe integriert:

• eine Ballon-Hilfe erscheint, wenn mit der Maus über ein Element der graphischen Oberfläche gefahren wird.

• Die Ballon-Hilfe kann mit ein und ausgeschaltet werden.

• Der Button ö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.

In der Hilfe wird auch die Syntax der logischen Funktion beschrieben. Damit werden sich Anfänger allerdings schwer tun

Im Editor werden diese Hilfen mit <F2> und <F3> aufgerufen.

---