Boolean Expression Minimizer

Boolean Expression Minimizer biedt stapsgewijze vereenvoudiging van Booleaanse algebra-expressies. Er zijn twee modi beschikbaar:

1. Interactive Algebraic Minimizer: in deze modus wordt u begeleid om een ​​uitdrukking te vereenvoudigen. Er worden hints gegeven en uitdrukkingen worden getest op geldigheid en gelijkwaardigheid in elke stap.

2. Automatische Algebraïsche Minimizer: in deze modus wordt de uitdrukking automatisch vereenvoudigd met alle stappen uitgelegd.

Booleaanse uitdrukkingen worden ingevoerd in het infix-formaat waarbij de operator NOT de term voortzet en de operator AND wordt geïmpliceerd, b.v. A '+ BC. Tot 26 variabelen worden ondersteund van A tot Z. De volgende wetten en stellingen worden gebruikt:

→ Complementariteit: (i) X + X '= 1 (ii) XX' = 0

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

→ Involutie: X '' = X

→ Identiteit: (i) X + 0 = X (ii) X1 = X

→ Null-element: (i) X + 1 = 1 (ii) X0 = 0

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

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

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

→ De wetten van DeMorgan: (i) (X + Y) '= X'Y' (ii) (XY) '= X' + Y '

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

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

→ Distributiviteit: (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-poort: X ^ Y = X'Y + XY '

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

Opmerking: deze app vereist een internetverbinding.