eXpimal - Logic calculator

Ein ausgezeichneter Rechner für mathematische Logik (diskrete Mathematik).

Der funktionellste Rechner in der mathematischen Logik.

Das Programm kann:

- die Wahrheitstabellen erstellen;

- die DNF-, KNF-, VDNF- und VKNF-Funktionen finden;

- das Polynom von Shegalkin finden (Methode der unbestimmten Koeffizienten, Pascal-Dreieck-Methode);

- die Zugehörigkeit zu den Klassen Posten;

- die Tabellen von Karnaugh erstellen.

- Boolesche Funktionen durch äquivalente Transformationen (sowohl kurz, als auch detailliert), sowie durch die McCluskey-Methode minimisieren;

- leiterdiagramm zeichnen;

- logische Schemata (sowohl in der IEC-Norm, als auch in der ANSI-Norm) erstellen.

Boolesche Funktionen können durch verschiedene Zeichen dargestellt werden.

Unäre Verknüpfung "Negation" kann sowohl durch ein einzelnes Symbol und ein Überstreichen dargestellt werden.

Keine Werbung.

Die Arbeit des Programms ist intuitiv klar und verursacht keine Schwierigkeiten. Alle Ergebnisse werden detailliert mit Kommentaren angezeigt.