Simplificador de expresiones booleanas
Utilice esta herramienta directamente: sin redireccionamientos ni necesidad de registrarse.
Entrada de expresión booleana
Expresión simplificada
Tabla de verdad
Red de puertas
Cómo funciona la simplificación de expresiones booleanas
La simplificación del álgebra booleana reduce expresiones lógicas complejas a su forma equivalente mínima utilizando un conjunto de leyes algebraicas. Cada circuito digital, desde puertas básicas hasta procesadores complejos, opera con lógica booleana, y la simplificación reduce directamente el número de puertas, el consumo de energía y el retraso de propagación en el hardware real.
Suma de Productos (SOP)
La forma estándar donde los términos Y se combinan con O. Cada función booleana se puede expresar en SOP y se asigna directamente a una red de puerta AND-OR de dos niveles.
Implicantes principales
Un implicante primo es un término producto que no se puede combinar con otro término para producir un término más simple. El método Quine-McCluskey encuentra sistemáticamente todos los implicantes primos.
Implicantes primos esenciales
Un implicante principal esencial cubre al menos un minitérmino que ningún otro implicante principal cubre. La cobertura mínima debe incluir todos los implicantes primos esenciales.
Leyes de De Morgan e identidades booleanas
Estas identidades fundamentales le permiten transformar y simplificar expresiones booleanas. El simplificador los aplica automáticamente.
| Nombre de identidad | expresión | Descripción |
|---|---|---|
| Morgana 1 | (AB)' = A' + B' | NAND es igual a OR de complementos |
| Morgan 2 | (A+B)' = A'B' | NOR es igual a AND de complementos |
| Absorción | A + AB = A | Elimina términos de producto redundantes |
| Consenso | AB + A'C + BC = AB + A'C | Elimina términos de consenso redundantes |
| Complemento | A + A' = 1 | AA' = 0 | Una variable O su complemento es siempre 1 |
| idempotente | A + A = A | AA = A | Los términos repetidos colapsan en un solo término |
Algoritmo de Quine-McCluskey paso a paso
El método Quine-McCluskey es una técnica tabular que encuentra sistemáticamente la forma SOP mínima de una función booleana. A diferencia de K-maps, funciona con cualquier cantidad de variables y es compatible con computadoras.
- 1 Enumere todos los términos mínimos. Convierta cada fila donde la salida sea 1 a su representación binaria y agrúpela por número de 1 bits.
- 2 Fusionar grupos adyacentes. Combine pares que difieran exactamente en la posición de un bit, reemplazando ese bit con un guión (no importa). Repita hasta que no sea posible realizar más fusiones.
- 3 Identificar los implicantes principales. Cualquier término que no pueda fusionarse más es un implicante primo. Reúnalos todos en un cuadro de implicantes principales.
- 4 Seleccione implicantes primos esenciales. Encuentre cada minitérmino cubierto exactamente por un implicante principal: ese implicante es esencial. Incluya todos los elementos esenciales en la expresión final.
- 5 Cubra los términos mínimos restantes. Para cualquier término mínimo que aún no esté cubierto por los elementos esenciales, elija implicantes primos adicionales con avidez para minimizar el recuento total de términos.
Herramientas relacionadas
Explore estas páginas de herramientas dedicadas para continuar su flujo de trabajo con configuraciones de diagramas centrados en lógica, Arduino, PCB y conversión.
Logic Gate Diagram Tool
Build clear gate-level logic diagrams and validate signal flow.
Abrir herramientaArduino Circuit Maker
Document board pin connections, modules, and wiring paths quickly.
Abrir herramientaPCB Schematic Tool
Draft production-ready schematic structures before PCB layout.
Abrir herramientaTruth Table To Logic Circuit
Generate gate-level logic from truth-table behavior for quick validation and learning.
Abrir herramienta