Ejercicios resueltos de lógica booleana con soluciones verificadas
Series de ejercicios con soluciones verificadas por el motor: tablas de verdad, simplificación, mapas de Karnaugh, formas normales, validez de argumentos, De Morgan, traducción del lenguaje natural, compuertas y circuitos, y las series para Filosofía de Bachillerato, tablas de decisión ISTQB y MC/DC.
Cada serie tiene de ocho a doce problemas. La solución de cada problema la calculó el motor y, cuando se da una respuesta esperada en otra forma, se comprobó su equivalencia; una serie se publica solo cuando todos sus problemas están verificados y la serie ha sido revisada. Hasta entonces, la página lo dice.
Las soluciones están tras un desplegable para que primero intentes el problema. Está prevista una exportación en PDF de cada serie para docentes que reparten ejercicios.
Si das clase, las series pueden insertarse o enlazarse desde la página de un curso, y las herramientas permiten a los estudiantes comprobar sus propias respuestas con expresiones que no previste.
- Ejercicios de tablas de verdad, 2 variables (resueltos)
Diez fórmulas con dos entradas, A y B. Para cada una, rellena las cuatro filas de la tabla de verdad y enumera las filas en las que la fórmula es verdadera. - Ejercicios de tablas de verdad, 3 variables
Diez fórmulas con A, B y C, ocho filas cada una: la función mayoría, la paridad, un multiplexor, implicaciones con partes compuestas y el patrón «exactamente una». - Ejercicios de tablas de verdad, 4 variables
Diez fórmulas con A, B, C y D, dieciséis filas cada una. - Simplificación con leyes, nivel básico
Diez simplificaciones de un solo paso, una ley cada una: identidad, dominación, idempotencia, complemento, absorción y doble negación. - Simplificación con leyes, nivel intermedio
Diez simplificaciones que requieren dos o tres leyes: distribución seguida de complemento e identidad, De Morgan seguida de doble negación, absorción sobre un valor compuesto y eliminación de la… - Simplificación con leyes, nivel avanzado
Diez simplificaciones más allá de una sola ley: el teorema del consenso y su dual, sacar un factor común de tres términos, un XOR que se cancela, y cadenas de implicaciones que se reducen a una… - Ejercicios de mapas de Karnaugh, 2 variables
Diez funciones dadas como listas de mintérminos sobre A y B, para leerlas en un mapa de Karnaugh de dos por dos. - Ejercicios de mapas de Karnaugh, 3 variables
Diez funciones sobre A, B y C como listas de mintérminos, para agruparlas en un mapa de Karnaugh de dos filas y cuatro columnas. - Ejercicios de mapas de Karnaugh, 4 variables
Diez funciones sobre A, B, C y D como listas de mintérminos, para agruparlas en el mapa de Karnaugh de cuatro por cuatro. - Ejercicios de FNC y FND
Diez conversiones a forma normal disyuntiva o conjuntiva: implicaciones, XOR y el bicondicional en las dos formas, una negación empujada hacia dentro, la distribución en los dos sentidos y una lista… - Ejercicios de validez de argumentos
Diez argumentos, cada uno escrito como una sola fórmula (premisas) -> (conclusión). - Ejercicios de De Morgan
Diez negaciones que hay que empujar hacia dentro hasta que cada NOT quede sobre una sola variable: un AND negado, un OR negado, una cadena de tres operandos, una implicación negada y casos anidados… - Traducir reglas en lenguaje natural a lógica
Diez frases que hay que traducir a una fórmula cada una: reglas con «a menos que», «solo si», «ni… ni», «si y solo si», «no ambos», elecciones exclusivas, y condiciones necesarias y suficientes. - De diagramas de compuertas a expresiones
Diez pequeñas redes de compuertas descritas con palabras. - De expresiones a circuitos
Diez fórmulas que hay que convertir en listas de compuertas: para cada una, nombra las compuertas en orden de evaluación, con sus entradas, de modo que la salida de la última compuerta sea la… - Tautología, contradicción o contingencia
Diez fórmulas para clasificar como tautología, contradicción o contingencia: el principio del tercero excluido y su negación, la ley de Peirce, el contrarrecíproco frente al recíproco, De Morgan como… - Lógica para Filosofía de 1.º de Bachillerato: tablas de verdad y validez
Diez ejercicios al estilo de Filosofía de 1.º de Bachillerato: proposiciones p, q, r unidas por las conectivas de la lógica proposicional. - Ejercicios de tablas de decisión (estilo ISTQB)
Diez reglas de negocio con tres o cuatro condiciones, al estilo de los ejercicios de tablas de decisión del ISTQB. - Ejercicios de MC/DC
Diez decisiones para cobertura MC/DC (condición/decisión modificada). - Ejercicios de diseño solo con NAND o solo con NOR
Diez funciones que hay que reconstruir con un único tipo de compuerta, NAND o NOR, según diga el enunciado.
Preguntas
¿Por qué algunas series aparecen como en preparación?
Una serie aparece en las búsquedas solo cuando tiene al menos ocho problemas verificados y un revisor la ha leído. Las series se escriben por orden de demanda: primero tablas de verdad y simplificación, luego mapas de Karnaugh, después el resto.
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.