Simplificador de álgebra de Boole (con mapa de Karnaugh)

Simplificador de álgebra de Boole (con mapa de Karnaugh) | Herramienta online gratis | Elysia Tools

Guía de uso de la herramienta

Conoce cuándo usar esta herramienta, qué admite y cómo la aplican los usuarios.

Datos clave

Categoría: Math & Numbers
Tipos de entrada: select, text
Tipo de salida: text
Cobertura de ejemplos: 4
API disponible: Sí

Resumen

El simplificador de álgebra de Boole reduce funciones lógicas de hasta 4 variables a su forma mínima de suma de productos (SOP) mediante el algoritmo exacto de Quine-McCluskey. Permite ingresar expresiones booleanas clásicas o listas canónicas de minterms (Σm), generando automáticamente la identificación de implicantes primos esenciales, el mapa de Karnaugh indexado en código Gray y una verificación exhaustiva de equivalencia lógica sobre todas las combinaciones de entrada.

Cuándo usarlo

Al diseñar circuitos combinacionales y requerir la reducción estricta de compuertas lógicas y literales.
Al resolver ejercicios académicos de electrónica digital para contrastar mapas de Karnaugh y pasos de Quine-McCluskey.
Al verificar la equivalencia funcional de una expresión booleana compleja frente a su forma canónica de minterms.

Cómo funciona

1Selecciona el modo de entrada deseado: expresión booleana simbólica (con operadores +, ·, ', ^) o lista de minterms Σm.
2Define las variables de trabajo (entre 2 y 4 variables: A, B, C, D) e introduce los términos o la ecuación.
3El algoritmo de Quine-McCluskey calcula todos los implicantes primos y determina la cobertura mínima esencial.
4La herramienta genera el SOP simplificado, dibuja el mapa de Karnaugh en código Gray y comprueba la validez en todas las asignaciones.

Casos de uso

Optimización de lógica booleana para reducir el uso de compuertas lógicas en esquemas digitales.
Conversión directa entre listas numéricas de minterms (Σm) y ecuaciones simplificadas en suma de productos.
Validación paso a paso de mapas de Karnaugh para estudiantes y docentes de ingeniería electrónica o ciencias de la computación.

Ejemplos

1. Simplificación por ley de absorción booleana

Estudiante de ingeniería electrónica

Contexto

El estudiante necesita comprobar la simplificación de una expresión con términos redundantes para una práctica de circuitos.

Problema

Reducir la ecuación AB + A'B a su mínima expresión y verificar el mapa de Karnaugh de dos variables.

Cómo usarlo

Seleccionar el modo 'Expresión', ingresar 'AB + A'B' y ejecutar la herramienta con 2 variables.

inputMode: expression, expression: AB + A'B, varCount: 2

Resultado

Obtiene la SOP mínima F = B, la forma canónica Σm(1, 3), la matriz de Karnaugh 2x2 y la verificación funcional completa.

2. Minimización de función desde lista de minterms

Diseñador de hardware digital

Contexto

Un diseñador cuenta con una tabla de verdad de 3 variables con 6 salidas activas que deben sintetizarse en compuertas.

Problema

Determinar los implicantes primos y la suma de productos mínima para los minterms activos 0, 1, 2, 4, 5 y 6.

Cómo usarlo

Elegir el modo 'Minterms (Σm)', seleccionar 3 variables e ingresar la lista '0,1,2,4,5,6'.

Preguntas frecuentes

¿Qué operadores lógicos se pueden utilizar en las expresiones?

Admite suma lógica '+' (OR), producto '·' o yuxtaposición (AND), negación con apóstrofe "'" o signo de exclamación '!' (NOT), '^' (XOR) y paréntesis.

¿Cuántas variables admite la herramienta?

Soporta de 2 a 4 variables identificadas con las letras estándar A, B, C y D.

¿Cómo se introducen los minterms en modo Σm?

Se deben ingresar los números decimales correspondientes a los minterms activos separados por comas, como por ejemplo '0,1,2,4,5,6'.

¿Cómo organiza las celdas el mapa de Karnaugh?

Las filas y columnas se ordenan siguiendo la secuencia de código Gray estándar (00, 01, 11, 10) para reflejar la adyacencia lógica.

¿Garantiza el resultado una expresión mínima exacta?

Sí, el procedimiento de Quine-McCluskey calcula los implicantes primos y su cobertura exacta para obtener el número mínimo de términos y literales en SOP.

inputMode: minterms, mintermList: 0,1,2,4,5,6, varCount: 3

Ejecutar esta herramienta

Ejemplos que encajan con esta herramienta

Continuar con herramientas y temas relacionados

Conoce cuándo usar esta herramienta, qué admite y cómo la aplican los usuarios.

Datos clave

Resumen

Cuándo usarlo

Cómo funciona

Casos de uso

Ejemplos

1. Simplificación por ley de absorción booleana

2. Minimización de función desde lista de minterms

Preguntas frecuentes

Ejemplos de Procesamiento de Imágenes Web Python

Ejemplos de Procesamiento de Imágenes Android Java

Ejemplos de Procesamiento de Imágenes Android Kotlin

Ejemplos de Procesamiento de Imágenes Web Rust

Conversor de Proporción de Dilución (1:X ↔ 1/X ↔ %)

Algoritmo de Euclides extendido (ax + by = gcd(a, b))

Calculadora de inversa modular (Euclides extendido)

Calculadora de aritmética modular (suma / resta / producto / inversa / potencia)