Calculatrices - Mathématiques discrètes

Calculatrice de table de vérité

La calculatrice génère la table de vérité pour la formule/expression logique donnée. Prend en charge tous les opérateurs logiques de base : négation (complément), et (conjonction), ou (disjonction), nand (trait de Sheffer), nor (flèche de Peirce), xor (disjonction exclusive), implication, inverse de l'implication, non-implication (abjonction), inverse de la non-implication, xnor (ni exclusif, équivalence, biconditionnel), tautologie (T), et contradiction (F).

Calculatrice d'algèbre booléenne

La calculatrice essaiera de simplifier/minifier l'expression booléenne donnée, avec des étapes lorsque c'est possible. Applique la loi commutative, la loi distributive, la loi de dominance (nullité, annulation), la loi d'identité, la loi de négation, la loi de double négation (involution), la loi d'idempotence, la loi de complément, la loi d'absorption, la loi de redondance, le théorème de Morgan. Supporte tous les opérateurs logiques de base : négation (complément), et (conjonction), ou (disjonction), nand (trait de Sheffer), nor (flèche de Peirce), xor (disjonction exclusive), implication, inverse de l'implication, non-implication (abjonction), inverse de la non-implication, xnor (nor exclusif, équivalence, biconditionnel), tautologie (T), et contradiction (F).

Il trouvera également la forme normale disjonctive (DNF), la forme normale conjonctive (CNF) et la forme normale de négation (NNF).

Calculateur de combinaisons et de permutations

La calculatrice trouvera le nombre de permutations/combinaisons, avec/sans répétitions, étant donné le nombre total d'objets et le nombre d'objets à choisir. Elle génère également la liste des r-combinaisons (r-permutations) à partir de la liste donnée, avec les étapes indiquées.