Paso a paso simplificación de expresiones álgebra de Boole
Boolean Expression Minimizer proporciona una simplificación paso a paso de las expresiones de álgebra booleana. Hay dos modos disponibles:
1. Minimizador algebraico interactivo: en este modo, se le guía para simplificar una expresión. Se proporcionan sugerencias y se evalúa la validez y equivalencia de las expresiones en cada paso.
2. Minimizador algebraico automático: en este modo, la expresión se simplifica automáticamente con todos los pasos explicados.
Las expresiones booleanas se ingresan en el formato infijo por el cual el operador NOT procede al término y el operador AND está implícito, p. A '+ BC. Se admiten hasta 26 variables de la A a la Z. Se utilizan las siguientes leyes y teoremas:
→ Complementariedad: (i) X + X '= 1 (ii) XX' = 0
→ Idempotencia: (i) X + X = X (ii) XX = X
→ Involución: X '' = X
→ Identidad: (i) X + 0 = X (ii) X1 = X
→ Elemento nulo: (i) X + 1 = 1 (ii) X0 = 0
→ Absorción: (i) X + XY = X (ii) X (X + Y) = X
→ Opción publicitaria: (i) X + X'Y = X + Y (ii) X (X '+ Y) = XY
→ Unidad: (i) XY + XY '= X (ii) (X + Y) (X + Y') = X
→ Leyes de DeMorgan: (i) (X + Y) '= X'Y' (ii) (XY) '= X' + Y '
→ Conmutatividad: (i) X + Y = Y + X (ii) XY = YX
→ Asociatividad: (i) X + (Y + Z) = X + Y + Z (ii) X (YZ) = XYZ
→ Distributividad: (i) X (Y + Z) = XY + XZ (ii) X + YZ = (X + Y) (X + Z)
→ Consenso: (i) XY + X'Z + YZ = XY + X'Z (ii) (X + Y) (X '+ Z) (Y + Z) = (X + Y) (X' + Z)
→ Puerta XOR: X ^ Y = X'Y + XY '
→ Puerta XNOR: X = Y ≡ X'Y '+ XY
Nota: esta aplicación requiere una conexión a Internet.