Boolean Expression Minimizer

O Minimizer de expressões booleanas fornece simplificação passo a passo das expressões de álgebra booleana. Dois modos estão disponíveis:

1. Minimizador algébrico interativo: neste modo, você é orientado a simplificar uma expressão. Dicas são fornecidas e expressões são testadas quanto à validade e equivalência em cada etapa.
2. Minimizador Algébrico Automático: Nesse modo, a expressão é simplificada automaticamente com todas as etapas explicadas.

Expressões booleanas são inseridas no formato infix, pelo qual o operador NOT prossegue o termo e o operador AND está implícito, por exemplo. A '+ BC. Até 26 variáveis ​​são suportadas de A a Z. As seguintes leis e teoremas são usados:

→ Complementaridade: (i) X + X '= 1 (ii) XX' = 0
→ Idempotência: (i) X + X = X (ii) XX = X
→ Involução: X '' = X
→ Identidade: (i) X + 0 = X (ii) X1 = X
→ Elemento nulo: (i) X + 1 = 1 (ii) X0 = 0
→ Absorção: (i) X + XY = X (ii) X (X + Y) = X
→ Adopção: (i) X + X'Y = X + Y (ii) X (X '+ Y) = XY
→ Unidade: (i) XY + XY '= X (ii) (X + Y) (X + Y') = X
→ Leis de DeMorgan: (i) (X + Y) '= X'Y' (ii) (XY) '= X' + Y '
→ Comutatividade: (i) X + Y = Y + X (ii) XY = YX
→ Associatividade: (i) X + (Y + Z) = X + Y + Z (ii) X (YZ) = XYZ
→ Distribuição: (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)
→ Portão XOR: X ^ Y = X'Y + XY '
→ XNOR Gate: X = Y ≡ X'Y '+ XY

Nota: Este aplicativo requer uma conexão com a Internet.