Catálogo generado de ejemplos (resto de ejemplos del motor)
El catálogo completo de ejemplos generados está disponible como datos: /logic/api/dataset.json.
- Regla de entrada: (socio OR invitado) AND NOT vetado, comprobada de todas las formas
- El error de la regla de entrada: socio OR (invitado AND NOT vetado) y el caso que difiere
- Mayoría de tres (votación 2 de 3): tabla de verdad, mapa de Karnaugh y forma NAND
- Paridad impar de tres entradas: A XOR B XOR C
- Exactamente uno de tres: por qué XOR no sirve
- Como máximo uno de tres: exclusión mutua
- Semisumador, suma: A XOR B
- Semisumador, acarreo: A AND B
- Sumador completo, suma: A XOR B XOR Cin
- Sumador completo, acarreo de salida: (A AND B) OR (Cin AND (A XOR B))
- Multiplexor 2 a 1: (S AND B) OR (NOT S AND A)
- Comparador de un bit: A mayor que B
- Igualdad de dos bits: (A1 XNOR B1) AND (A0 XNOR B0)
- Segmento a de un display de siete segmentos desde BCD con indiferencias como supuestos
- Dígito BCD mayor que cinco: mapa de Karnaugh de cuatro variables con indiferencias
- El consenso en la práctica: AB + A'C + BC simplificado
- La absorción en la práctica: A OR (A AND B) simplificado
- De Morgan en la práctica: NOT (A AND B) reescrito y verificado
- El error de De Morgan: NOT (A AND B) frente a NOT A AND NOT B
- La distributividad en la práctica: A AND (B OR C) desarrollado
- XOR construido con AND, OR y NOT
- XNOR construido con AND, OR y NOT
- La implicación como NOT A OR B, verificada
- Contrarrecíproco: A → B equivale a NOT B → NOT A
- El error del recíproco: A → B no es B → A
- El error del inverso: A → B no es NOT A → NOT B
- Modus ponens: A → B, A, por tanto B (válido)
- Modus tollens: A → B, NOT B, por tanto NOT A (válido)
- Afirmación del consecuente: A → B, B, por tanto A (inválido, con contraejemplo)
- Negación del antecedente: A → B, NOT A, por tanto NOT B (inválido)
- Silogismo hipotético: A → B, B → C, por tanto A → C
- Silogismo disyuntivo: A OR B, NOT A, por tanto B
- Dilema constructivo: (A → B) AND (C → D), A OR C, por tanto B OR D
- Premisas inconsistentes: A y NOT A demuestran cualquier cosa (validez vacua)
- Una tautología: A OR NOT A, comprobada en todas las filas
- Una contradicción: A AND NOT A
- Ley de Peirce: ((A → B) → A) → A es una tautología
- Σm(1, 2, 4, 7): suma canónica de productos de tres variables
- Mapa de Karnaugh de cuatro variables: Σm(0, 2, 5, 7, 8, 10, 13, 15) simplificado
- Producto de sumas de cuatro variables: ΠM(…) simplificado desde los ceros
- Implicantes primos e implicantes primos esenciales en un mapa de Karnaugh
- XOR con cuatro compuertas NAND, equivalencia verificada
- AND solo con compuertas NOR
- Mayoría de tres solo con compuertas NAND
- Regla de descuento: (estudiante OR mayor) AND NOT caducado AND (socio OR cupon)
- Regla de feature flag: (beta OR interno) AND flag_activo AND NOT interruptor
- Regla de control de acceso: propietario OR admin OR (editor AND NOT bloqueado)
- Elegibilidad de un préstamo: ingresos_ok AND (credito_ok OR avalista) AND NOT quiebra
- Regla de envío gratis: (mas_de_50 OR prime) AND NOT voluminoso AND nacional
- Regla de alarma: armada AND (puerta OR ventana OR movimiento) AND NOT codigo
- Propiedad de seguridad de un semáforo: nunca dos verdes, comprobada como «siempre verdadera»
- Enclavamiento de máquina: arranque AND resguardo_cerrado AND NOT (paro_emergencia OR fallo)
- Luz de escalera con tres interruptores: A XOR B XOR C
- Quórum: al menos tres de cuatro, tabla de verdad y mapa de Karnaugh
- Regla del año bisiesto: (div4 AND NOT div100) OR div400
- Política de contraseñas: longitud_ok AND (tiene_digito OR tiene_simbolo) AND NOT comun
- Exactamente una opción de pago: efectivo, tarjeta o vale
- Condiciones encadenadas: si premium entonces (descuento → aprobado)
- De Morgan en el código: !(a && b) refactorizado a !a || !b, verificado
- Una regla con un indicador NULL en SQL: por qué (a OR NOT a) no siempre es verdadera
Relacionado
Herramientas
- Generador de tablas de verdad: cualquier expresión booleana, hasta 12 variables, con columnas intermedias
- 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
Ejemplos resueltos
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.