Glosario de lógica booleana: términos con su equivalente en inglés
Sesenta términos de álgebra de Boole, lógica proposicional y pruebas de reglas, cada uno definido en su primera frase, con un ejemplo calculado y su equivalente en inglés.
El glosario cubre las palabras de las que dependen las demás páginas: los tipos de fórmula (tautología, contradicción, contingencia), las piezas de las formas normales (literal, cláusula, mintérmino, maxtérmino, implicante), el vocabulario de los argumentos (premisa, conclusión, validez, solidez, contraejemplo, verdad vacua), las palabras del hardware (compuerta, compuerta universal, fan-out) y las de pruebas (tabla de decisión, cobertura de condición y de decisión, MC/DC, par de independencia, mutante).
Cuando un término tiene un ejemplo calculable, la página lo muestra: la página de tautología demuestra A OR NOT A en todas las filas, la de mintérmino muestra la suma canónica, la de MC/DC muestra los pares de independencia que el motor encuentra para una regla de tres entradas. En cada página en español se da el término en inglés, y en cada página en inglés el término en español, porque muchos lectores aprenden en un idioma y leen la documentación en el otro.
Los términos están escritos para que la primera frase valga por sí sola como definición.
- Tabla de verdad: definición, ejemplo y equivalente en inglés
Una tabla de verdad enumera todas las combinaciones de valores que pueden tomar las entradas de una fórmula, una fila por combinación, y el valor que la fórmula da en cada una. - Tautología: definición, ejemplo y equivalente en inglés
Una tautología es una fórmula verdadera en todas las filas de su tabla de verdad, tomen el valor que tomen sus variables. A OR NOT A es la más simple. - Contradicción: definición, ejemplo y equivalente en inglés
Una contradicción es una fórmula falsa en todas las filas de su tabla de verdad: ninguna asignación de valores a sus variables la hace verdadera. A AND NOT A es la más simple. - Contingencia: definición, ejemplo y equivalente en inglés
Una contingencia es una fórmula verdadera en algunas filas de su tabla de verdad y falsa en otras: ni tautología ni contradicción. Casi todas las fórmulas que hacen un trabajo real lo son. - Satisfacible: definición, ejemplo y equivalente en inglés
Una fórmula es satisfacible cuando al menos una asignación de valores a sus variables la hace verdadera. La asignación que lo consigue es su testigo, o asignación que satisface. - Argumento válido: definición, ejemplo y equivalente en inglés
Un argumento es válido cuando su conclusión es verdadera en todos los casos en que todas sus premisas son verdaderas: ninguna fila de la tabla de verdad tiene todas las premisas verdaderas y la… - Argumento sólido: definición, ejemplo y equivalente en inglés
Un argumento sólido es un argumento válido cuyas premisas son, además, todas verdaderas. - Contraejemplo: definición, ejemplo y equivalente en inglés
Un contraejemplo es una asignación de valores que refuta una afirmación: para un argumento, una fila en la que todas las premisas son verdaderas y la conclusión es falsa; para una pretendida… - Testigo (asignación que satisface): definición, ejemplo y equivalente en inglés
Un testigo, o asignación que satisface, es una asignación de valores a las variables que hace verdadera una fórmula. - Premisa: definición, ejemplo y equivalente en inglés
Una premisa es un enunciado que un argumento toma como dado. - Conclusión: definición, ejemplo y equivalente en inglés
La conclusión es el único enunciado que un argumento pretende establecer a partir de sus premisas. - Equivalencia lógica: definición, ejemplo y equivalente en inglés
Dos fórmulas son lógicamente equivalentes cuando tienen el mismo valor de verdad en todas las filas de una tabla de verdad sobre sus variables combinadas. - Literal: definición, ejemplo y equivalente en inglés
Un literal es una variable o la negación de una variable: A y NOT B son literales, A AND B y NOT (A OR B) no lo son. - Cláusula: definición, ejemplo y equivalente en inglés
Una cláusula es un OR de literales, como A OR NOT B. - Término (término producto): definición, ejemplo y equivalente en inglés
Un término, o término producto, es un AND de literales, como A AND NOT B. - 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. - Maxtérmino: definición, ejemplo y equivalente en inglés
Un maxtérmino es un OR de todas las variables de una función, cada una afirmada o negada, así que es falso en exactamente una fila de la tabla de verdad. - Suma de productos (SOP): definición, ejemplo y equivalente en inglés
Una suma de productos (SOP) es un OR de términos AND de literales, como (A AND B) OR (NOT A AND C). - Producto de sumas (POS): definición, ejemplo y equivalente en inglés
Un producto de sumas (POS) es un AND de cláusulas OR de literales, como (A OR B) AND (NOT A OR C). Tiene la misma forma que la forma normal conjuntiva, escrita con AND como producto y OR como suma. - Forma normal disyuntiva (FND): definición, ejemplo y equivalente en inglés
La forma normal disyuntiva (FND) es un OR de términos, cada término un AND de literales. - Forma normal conjuntiva (FNC): definición, ejemplo y equivalente en inglés
La forma normal conjuntiva (FNC) es un AND de cláusulas, cada cláusula un OR de literales. Es el formato de entrada de los solucionadores SAT, y toda fórmula tiene una FNC equivalente. - Forma canónica: definición, ejemplo y equivalente en inglés
Una forma canónica es una forma normal única para cada función sobre un orden fijo de variables: la suma de mintérminos Σm(…) o el producto de maxtérminos ΠM(…). - Forma normal negativa: definición, ejemplo y equivalente en inglés
Una fórmula está en forma normal negativa (FNN) cuando NOT aparece solo directamente sobre variables y los únicos otros operadores son AND y OR. Es el punto intermedio de toda conversión a FNC o FND. - Implicante: definición, ejemplo y equivalente en inglés
Un implicante de una función es un término producto que la implica: allí donde el término es verdadero, la función es verdadera. - Implicante primo: definición, ejemplo y equivalente en inglés
Un implicante primo es un implicante que no puede hacerse mayor: quitarle cualquier literal lo haría cubrir una fila en la que la función es falsa. - Implicante primo esencial: definición, ejemplo y equivalente en inglés
Un implicante primo esencial es un implicante primo que cubre al menos una fila verdadera que ningún otro implicante primo cubre. - Condición de indiferencia (don’t care): definición, ejemplo y equivalente en inglés
Una condición de indiferencia (don't care) es una combinación de entradas que nunca ocurre, o cuya salida nadie necesita, así que su celda puede tratarse como 1 o 0, lo que dé un grupo mayor. - Código Gray: definición, ejemplo y equivalente en inglés
El código Gray es una ordenación de los números binarios donde valores consecutivos difieren en un solo bit: 00, 01, 11, 10. - Mapa de Karnaugh: definición, ejemplo y equivalente en inglés
Un mapa de Karnaugh es una tabla de verdad redibujada como cuadrícula en orden Gray, y así las celdas que difieren en una variable son vecinas. - Método de Quine–McCluskey: definición, ejemplo y equivalente en inglés
El método de Quine–McCluskey es un procedimiento tabular para simplificar una función booleana: se enumeran los mintérminos en binario, se fusionan los pares que difieren en un bit hasta que no quede… - Compuerta lógica (puerta lógica): definición, ejemplo y equivalente en inglés
Una compuerta lógica es un dispositivo, físico o dibujado, que calcula un operador booleano: toma una o más entradas binarias y produce una salida binaria según una tabla de verdad fija. - Compuerta universal: definición, ejemplo y equivalente en inglés
Una compuerta universal es aquella con la que puede construirse toda función booleana sin usar ningún otro tipo de compuerta. - Fan-out (abanico de salida): definición, ejemplo y equivalente en inglés
El fan-out (abanico de salida) es el número de entradas de compuerta que alimenta una misma señal. - Lógica combinacional: definición, ejemplo y equivalente en inglés
La lógica combinacional es un circuito cuyas salidas dependen solo de sus entradas actuales, sin memoria ni realimentación. - Función booleana: definición, ejemplo y equivalente en inglés
Una función booleana asigna a cada combinación de n entradas binarias una salida binaria. - Expresión booleana: definición, ejemplo y equivalente en inglés
Una expresión booleana es una fórmula construida con variables, las constantes TRUE y FALSE y operadores como AND, OR y NOT, con paréntesis para agrupar. - Proposición: definición, ejemplo y equivalente en inglés
Una proposición es un enunciado que es verdadero o falso: «la puerta está abierta», «7 es primo». - Conectiva lógica: definición, ejemplo y equivalente en inglés
Una conectiva lógica es un operador que une proposiciones en un compuesto cuyo valor de verdad queda fijado por los valores de verdad de sus partes: AND, OR, NOT, el condicional ->, el bicondicional… - Antecedente: definición, ejemplo y equivalente en inglés
El antecedente es la parte «si» de un condicional: en A -> B, A es el antecedente y B el consecuente. Un condicional es falso solo cuando su antecedente es verdadero y su consecuente falso. - Consecuente: definición, ejemplo y equivalente en inglés
El consecuente es la parte «entonces» de un condicional: en A -> B, B es el consecuente. El condicional promete el consecuente solo cuando el antecedente se cumple, y no dice nada cuando no. - Recíproco: definición, ejemplo y equivalente en inglés
El recíproco del condicional A -> B es B -> A: las mismas dos partes con la flecha invertida. - Contrarrecíproco: definición, ejemplo y equivalente en inglés
El contrarrecíproco de A -> B es NOT B -> NOT A: las dos partes negadas y la flecha invertida. - Inverso (de una implicación): definición, ejemplo y equivalente en inglés
El inverso del condicional A -> B es NOT A -> NOT B: las dos partes negadas, la flecha sin cambiar. - Verdad vacua: definición, ejemplo y equivalente en inglés
Un enunciado es vacuamente verdadero cuando se cumple solo porque el caso del que habla nunca se da: un condicional con antecedente falso, una afirmación sobre todos los miembros de un conjunto… - Supuesto (restricción del dominio): definición, ejemplo y equivalente en inglés
Un supuesto, o restricción del dominio, es una fórmula que se declara cierta en todo caso admisible de un modelo. - Tabla de decisión: definición, ejemplo y equivalente en inglés
Una tabla de decisión enumera las condiciones de las que depende una regla, las combinaciones de sus valores que importan y el resultado de cada combinación. - Cobertura de decisión: definición, ejemplo y equivalente en inglés
La cobertura de decisión se alcanza cuando cada decisión del código, cada expresión booleana que dirige el control, se ha evaluado a TRUE y a FALSE durante las pruebas. - Cobertura de condición: definición, ejemplo y equivalente en inglés
La cobertura de condición se alcanza cuando cada condición atómica dentro de una decisión ha tomado el valor TRUE y el valor FALSE durante las pruebas. - MC/DC (cobertura de condición/decisión modificada): definición, ejemplo y equivalente en inglés
MC/DC, cobertura de condición/decisión modificada, exige mostrar que cada condición de una decisión afecta por sí sola al resultado: para cada condición, un par de pruebas que difieren solo en esa… - Par de independencia: definición, ejemplo y equivalente en inglés
Un par de independencia para una condición son dos casos de prueba que difieren solo en el valor de esa condición y producen decisiones distintas. - Pruebas de mutación: definición, ejemplo y equivalente en inglés
Las pruebas de mutación juzgan una batería de pruebas sembrando pequeños fallos deliberados, mutantes, en la regla bajo prueba y comprobando si las pruebas lo notan. - Mutante (superviviente, eliminado): definición, ejemplo y equivalente en inglés
Un mutante es una copia de una regla con un pequeño cambio deliberado. - Prueba de regresión: definición, ejemplo y equivalente en inglés
Una prueba de regresión comprueba que un comportamiento que era correcto sigue siéndolo después de un cambio. - Oráculo de prueba (resultado esperado): definición, ejemplo y equivalente en inglés
Un oráculo de prueba es lo que aporta el resultado esperado de una prueba: aquello con lo que se compara el resultado real. - Comprobación exhaustiva: definición, ejemplo y equivalente en inglés
Una comprobación exhaustiva evalúa una propiedad en todas las asignaciones de las variables, así que su veredicto es una demostración y no una muestra. - Solucionador SAT: definición, ejemplo y equivalente en inglés
Un solucionador SAT (demostrador SAT, SAT solver) es un programa que decide si una fórmula booleana es satisfacible, devolviendo una asignación que la satisface cuando existe, por búsqueda y no… - Subcircuito (bloque reutilizable): definición, ejemplo y equivalente en inglés
Un subcircuito es un bloque de lógica reutilizable y con nombre, con entradas y salida propias, definido una vez y usado en otras fórmulas.en preparación - Variable (entrada) y significado del glosario: definición, ejemplo y equivalente en inglés
Una variable es una entrada de un modelo, un nombre que toma el valor TRUE o FALSE en cada fila. - Modo decisión frente a modo argumento: definición, ejemplo y equivalente en inglés
El modo decisión es aquel en que un modelo tiene salidas con nombre, cada una una fórmula sobre las entradas, y las comprobaciones preguntan por esas salidas. - Notación (palabras, programación, matemática, álgebra): definición, ejemplo y equivalente en inglés
La notación es el conjunto de símbolos con que se escriben las fórmulas booleanas: palabras (AND, OR, NOT), operadores de programación (&&, ||, !), lógica matemática (∧, ∨, ¬) o álgebra de Boole (·…
Preguntas
¿Por qué aparecen «mintérmino» y «minitérmino»?
Las dos grafías están en uso; la segunda aparece en las propias sugerencias de Google para búsquedas en español. Las páginas llevan primero la forma estándar y mencionan la variante para que cualquiera de las dos búsquedas llegue aquí.
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.