eXpimal free

Une excellente calculatrice pour ceux qui ont besoin d'aide pour apprendre la logique mathématique.

Le programme peut:

- construire des tables de vérité;

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

- construire des carte de Karnaugh;

- minimiser les fonctions booléennes par des transformations équivalentes.

Le travail du programme est intuitivement compréhensible et ne cause pas de difficultés.