«Simplificado» no es «mínimo»: lo que un simplificador puede prometer
El simplificador no encontró ninguna ley que acorte (A AND B) OR (A AND NOT B) OR (NOT A AND B), y sin embargo la función es A OR B. «Simplificado» significa que no se aplica ninguna ley de reescritura; no significa que no exista una forma más corta, y el motor dice exactamente eso.
El resultado de abajo es honesto sobre sus límites. El simplificador aplica leyes con nombre una cada vez, cada una una reescritura local que reduce la expresión según su medida; ninguna de sus leyes encaja con esta expresión de tres términos, así que la informa sin cambios, con la nota de que no se descartan formas equivalentes más pequeñas. El mapa de Karnaugh, que mira la función entera y no la sintaxis, obtiene A OR B y lo comprueba equivalente en todas las filas, y el conversor a forma normal conjuntiva también llega a A OR B.
La brecha es estructural. Fusionar los dos primeros términos necesita la ley del complemento aplicada a B OR NOT B después de factorizar A, y el simplificador no factoriza; absorber el tercero necesita el teorema del consenso, que tampoco es una reescritura local. Un método que enumera las filas, o que selecciona implicantes primos, ve la función como un todo, y por eso el mapa encuentra lo que las leyes no ven.
Por eso el motor etiqueta su resultado como simplificado y no como el más pequeño, y por eso la especificación de la semántica nunca afirma que una forma sea la más corta. La página central de herramientas dice qué herramienta usar en cada caso: el simplificador para una reducción legible paso a paso con cada ley nombrada; el mapa de Karnaugh para una suma de productos irreducible con hasta cuatro variables; el conversor a formas normales para una forma canónica.
f := (A AND B) OR (A AND NOT B) OR (NOT A AND B) · salida Tabla de verdad
| # | A | B | f |
|---|---|---|---|
| 0 | FALSO | FALSO | FALSO |
| 1 | FALSO | VERDADERO | VERDADERO |
| 2 | VERDADERO | FALSO | VERDADERO |
| 3 | VERDADERO | VERDADERO | VERDADERO |
Simplificación paso a paso
El motor no encontró ninguna ley que acorte esta expresión; ya es tan corta como sus leyes de reescritura permiten.
(A AND B) OR (A AND NOT B) OR (NOT A AND B)Mapa de Karnaugh
- celdas m2, m3
A - celdas m1, m3
B
Formas normales
Forma normal conjuntiva (FNC)
A OR B1 cláusulas, 2 literales · complete · Distributividad ×2, Complemento ×2, Absorción ×2
Forma normal disyuntiva (FND)
(A AND B) OR (A AND NOT B) OR (NOT A AND B)3 términos, 6 literales · complete
Lectura en lenguaje claro
Principiantef es verdadero exactamente cuando se cumple al menos una de las condiciones siguientes (pueden cumplirse varias):
1. A y B son ambos verdaderos
2. A es verdadero y B es falso
3. A es falso y B es verdadero
En todos los demás casos, f es falso.
Sobre los operadores:
- OR (O) es inclusivo: es verdadero en cuanto al menos una parte es verdadera, también cuando lo son varias.
- AND (Y) solo es verdadero cuando todas sus partes son verdaderas.
- NOT (NO) invierte un valor: lo verdadero pasa a ser falso y lo falso, verdadero.
Intermediof es verdadero exactamente cuando se cumple al menos una de las condiciones siguientes (pueden cumplirse varias):
1. A y B son ambos verdaderos
2. A es verdadero y B es falso
3. A es falso y B es verdadero
En todos los demás casos, f es falso.
Avanzadof es verdadero exactamente cuando se cumple al menos una de las condiciones siguientes (pueden cumplirse varias) [disyunción inclusiva ∨]:
1. A y B son ambos verdaderos [conjunción ∧]
2. A es verdadero y B es falso [conjunción ∧]
3. A es falso y B es verdadero [conjunción ∧]
En todos los demás casos, f es falso.
Notación formal: (A ∧ B) ∨ (A ∧ ¬B) ∨ (¬A ∧ B)
El error habitual
Leer «no se aplica ninguna ley» como «esto es lo más corto posible». El propio resumen del simplificador dice que no se descartan formas equivalentes más pequeñas; cuando la forma importa, ejecuta el mapa o el conversor y compara.
Preguntas
¿Por qué no hacer que el simplificador se esfuerce más?
Podría, y entonces dejaría de ser una explicación paso a paso. Su valor es que cada paso es una ley con nombre que un estudiante puede comprobar; el mapa y el método de implicantes primos son las herramientas para la pregunta sobre la función entera, y están a un clic.
¿El mapa de Karnaugh encuentra la forma más pequeña?
Obtiene una cobertura sin ningún término eliminable y la comprueba de forma exacta en todas las filas. El motor la llama irreducible y no afirma que sea la más pequeña posible, porque con más de unas pocas variables esa afirmación necesitaría otro tipo de búsqueda.
Relacionado
Herramientas
- Comprobador de equivalencia lógica: dos expresiones, veredicto exacto, contraejemplo
- Generador de tablas de verdad: cualquier expresión booleana, hasta 12 variables, con columnas intermedias
Ejercicios
- Simplificación con leyes, nivel básico
- Simplificación con leyes, nivel intermedio
- Simplificación con leyes, nivel avanzado
Véase también
- Calculadora y simplificador de álgebra de Boole paso a paso (cada ley nombrada y verificada)
- Solucionador de mapas de Karnaugh: de 2 a 4 variables, agrupaciones, SOP y POS
- Conversor a FNC y FND: formas normales conjuntiva y disyuntiva, mintérminos y maxtérminos
- Teorema del consenso: AB + A'C + BC = AB + A'C, con demostración
- Regla de agrupación en el mapa de Karnaugh: las celdas adyacentes eliminan la variable que cambia
- Lección 7: Leyes de simplificación
- Mapa de Karnaugh frente a Quine–McCluskey
Errores comunes
Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación . Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.