Boolean Expression Minimizer

Boolean Expression Minimizer fournit une simplification pas à pas des expressions d'algèbre booléenne. Deux modes sont disponibles:

1. Minimiseur algébrique interactif: dans ce mode, vous êtes guidé pour simplifier une expression. Des conseils sont fournis et les expressions sont testées pour la validité et l'équivalence à chaque étape.

2. Minimiseur algébrique automatique: dans ce mode, l'expression est automatiquement simplifiée avec toutes les étapes expliquées.

Les expressions booléennes sont entrées au format infixé, l'opérateur NOT procédant ainsi et l'opérateur AND étant implicite, par ex. A '+ BC. Jusqu'à 26 variables sont prises en charge de A à Z. Les lois et théorèmes suivants sont utilisés:

→ Complémentarité: (i) X + X '= 1 (ii) XX' = 0

→ Idempotence: (i) X + X = X (ii) XX = X

→ Involution: X '' = X

→ Identité: (i) X + 0 = X (ii) X1 = X

→ Élément nul: (i) X + 1 = 1 (ii) X0 = 0

→ Absorption: (i) X + XY = X (ii) X (X + Y) = X

→ Adoption: (i) X + X'Y = X + Y (ii) X (X '+ Y) = XY

→ Unité: (i) XY + XY '= X (ii) (X + Y) (X + Y') = X

→ Lois de DeMorgan: (i) (X + Y) '= X'Y' (ii) (XY) '= X' + Y '

→ Commutativité: (i) X + Y = Y + X (ii) XY = YX

→ Associativité: (i) X + (Y + Z) = X + Y + Z (ii) X (YZ) = XYZ

→ Distributivité: (i) X (Y + Z) = XY + XZ (ii) X + YZ = (X + Y) (X + Z)

→ Consensus: (i) XY + X'Z + YZ = XY + X'Z (ii) (X + Y) (X '+ Z) (Y + Z) = (X + Y) (X' + Z)

→ XOR Gate: X ^ Y = X'Y + XY '

→ Porte XNOR: X = Y ≡ X'Y '+ XY

Remarque: Cette application nécessite une connexion Internet.