eXpimal - Logic calculator

Une excellente calculatrice en mathématiques logiques (mathématiques discrètes).

La calculatrice est la plus fonctionnelle en logique mathématique.

Le programme peut:

- construire des tables de vérité;

- trouver les fonctions de forme normale disjonctive, de forme normale conjonctive, de forme normale disjonctive parfaite et forme normale conjonctive parfaite;

- trouver le polynôme de Jégalkine (La méthode des coefficients indéterminés, La méthode du triangle de Pascal);

- construire des carte de Karnaugh;

- minimiser les fonctions booléennes par des transformations équivalentes (brièvement et en détail), ainsi que par la méthode de McCluskey;

- appartenance aux classes de Poste;

- diagramme d'échelle de traçage;

- construire des schémas logiques (tant dans la norme IEC que dans la norme ANSI).

Les fonctions booléennes peuvent être représentées par de différents symboles.

Une opération monadique "négation" peut être représentée tant par un seul symbole que par la ligne en haut.

Pas de publicité.

Le travail du programme est intuitivement compréhensible et ne cause pas de difficultés. Tous les résultats sont présentés en détail, avec des commentaires.