Mintérmino (minitérmino): definición, ejemplo y equivalente en inglés
Un mintérmino es un AND de todas las variables de una función, cada una afirmada o negada, así que es verdadero en exactamente una fila de la tabla de verdad. Una función es el OR de los mintérminos de sus filas verdaderas.
Una función de n variables tiene 2 elevado a n mintérminos, uno por fila, y cada uno se nombra por su número de fila: para las variables A y B en ese orden, m0 es NOT A AND NOT B, m1 es NOT A AND B, m2 es A AND NOT B y m3 es A AND B. El OR de los mintérminos de las filas en que una función es verdadera es su suma canónica de productos, escrita Σm(…); en la notación del motor el orden de las variables forma parte del nombre, como en Σm(A, B; 1, 2).
El artefacto de esta página es la propia función Σm(A, B; 1, 2). Su tabla de 4 filas se lee falso, verdadero, verdadero, falso, verdadera en las filas 1 y 2 como dice la lista, y el panel de mintérminos imprime f(A, B) = Σm(1, 2) junto a la forma dual f(A, B) = ΠM(0, 3), cuya lista de maxtérminos es el complemento de la lista de mintérminos. La comprobación de satisfacible se cumple con el testigo A = FALSE, B = TRUE, que es la fila 1, el mintérmino m1. La función es A XOR B con otro nombre.
Los mintérminos son el vocabulario del diseño digital: una especificación dada como tabla de verdad es una lista de mintérminos, un mapa de Karnaugh etiqueta sus celdas con números de mintérmino, y el método de Quine–McCluskey empieza por enumerarlos en binario. Quien programa encuentra la misma idea cuando una tabla de consulta se escribe como máscara de bits. El término se confunde con el término producto en general (el mintérmino es el caso particular que menciona todas las variables) y con el maxtérmino, que es su dual con forma de OR.
Ejemplo
f := Σm(A, B; 1, 2) · salida
Comprobaciones exactas
Tabla de verdad (4 filas)
| # | A | B | f |
|---|---|---|---|
| 0 | FALSO | FALSO | FALSO |
| 1 | FALSO | VERDADERO | VERDADERO |
| 2 | VERDADERO | FALSO | VERDADERO |
| 3 | VERDADERO | VERDADERO | FALSO |
Lectura en lenguaje claro
Principiantef es verdadero exactamente cuando la fila de la tabla de verdad de (A, B) es una de las filas 1 y 2.
En todos los demás casos, f es falso.
Sobre los operadores:
- Σm enumera las filas de la tabla de verdad (mintérminos) en las que la fórmula es verdadera. Las filas se numeran desde 0 y la primera entrada indicada es el bit más significativo.
Intermediof es verdadero exactamente cuando la fila de la tabla de verdad de (A, B) es una de las filas 1 y 2.
En todos los demás casos, f es falso.
Avanzadof es verdadero exactamente cuando la fila de la tabla de verdad de (A, B) es una de las filas 1 y 2 [suma canónica de mintérminos (FND)].
En todos los demás casos, f es falso.
Notación formal: Σm(A, B; 1, 2)
Mintérminos y maxtérminos
f(A, B) = Σm(1, 2)f(A, B) = ΠM(0, 3)Orden de variables: A, B · 4 filas
El error habitual
Olvidar que los números de mintérmino dependen del orden de las variables. Σm(A, B; 1, 2) y Σm(B, A; 1, 2) resultan ser la misma función porque A XOR B es simétrica, pero Σm(A, B; 1) y Σm(B, A; 1) no lo son; el orden de la lista forma parte de la notación.
Preguntas
¿Cómo obtengo los mintérminos de una fórmula?
Construyendo la tabla de verdad y enumerando las filas en que la salida es verdadera. El generador de tablas de verdad imprime la forma Σm de cada salida, y el método canónico del conversor a formas normales escribe los propios mintérminos como expresión.
Relacionado
Ejercicios
Véase también
- Maxtérmino: definición, ejemplo y equivalente en inglés
- Desarrollo en mintérminos: la suma canónica de productos (Σm)
- Suma de productos (SOP): definición, ejemplo y equivalente en inglés
- Forma canónica: definición, ejemplo y equivalente en inglés
- Mintérminos frente a maxtérminos
- Σm(1, 2, 4, 7): suma canónica de productos de tres variables
Glosario
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.