Calculadora de álgebra booleana
Simplificar expresiones booleanas paso a paso
La calculadora intentará simplificar/minimizar la expresión booleana dada, mostrando los pasos cuando sea posible. Aplica las leyes conmutativa, distributiva, de dominación (nula, de anulación), de identidad, de negación, de la doble negación (involución), idempotente, del complemento, de absorción, de redundancia y el teorema de De Morgan. Admite todos los operadores lógicos básicos: negación (complemento), y (conjunción), o (disyunción), NAND (barra de Sheffer), NOR (flecha de Peirce), XOR (disyunción exclusiva), implicación, conversa de la implicación, no implicación (abjunction), conversa de la no implicación, XNOR (NOR exclusivo, equivalencia, bicondicional), tautología (T) y contradicción (F).
También encontrará la forma normal disyuntiva (FND), la forma normal conjuntiva (FNC) y la forma normal de negación (FNN).
Calculadora relacionada: Calculadora de tablas de verdad