Calculatrices - Mathématiques discrètes

Calculatrice de table de vérité

Le calculateur génère la table de vérité pour la formule/expression logique donnée. Il prend en charge tous les opérateurs logiques de base : négation (complément), et (conjonction), ou (disjonction), nand (barre de Sheffer), nor (flèche de Peirce), xor (disjonction exclusive), implication, réciproque de l'implication, non-implication (abjonction), non-implication réciproque, xnor (nor exclusif, équivalence, biconditionnelle), tautologie (T) et contradiction (F).

Calculatrice d’algèbre de Boole

La calculatrice tentera de simplifier/minimiser l'expression booléenne donnée, en détaillant les étapes lorsque c'est possible. Applique la loi commutative, la loi distributive, la loi de domination (nulle, d'annulation), la loi d'identité, la loi de négation, la loi de la double négation (involution), la loi d'idempotence, la loi du complément, la loi d'absorption, la loi de redondance, le théorème de De Morgan. Prend en charge tous les opérateurs logiques de base : négation (complément), et (conjonction), ou (disjonction), nand (barre de Sheffer), nor (flèche de Peirce), xor (disjonction exclusive), implication, réciproque de l'implication, non-implication (abjonction), réciproque de la non-implication, xnor (nor exclusif, équivalence, biconditionnelle), tautologie (T) et contradiction (F).

Elle déterminera également la forme normale disjonctive (DNF), la forme normale conjonctive (CNF) et la forme normale négative (NNF).

Calculateur de combinaisons et de permutations

La calculatrice déterminera le nombre de permutations/combinaisons, avec ou sans répétition, étant donné le nombre total d’objets et le nombre d’objets à choisir. Elle générera également la liste des r‑combinaisons (arrangements de r éléments) à partir de la liste donnée, avec les étapes affichées.