Comprobador de equivalencia lógica online
Escribe dos fórmulas y descubre si son lógicamente equivalentes: la herramienta compara sus tablas de verdad fila a fila y marca las diferencias.
Valores de verdad:
· De teclado valen
- ~ & v -> <->
Cómo se usa
Dos fórmulas son lógicamente equivalentes cuando tienen el mismo valor de verdad en todas las interpretaciones: sus columnas coinciden fila a fila en la tabla de verdad. Prueba con las leyes de De Morgan —¬(p ∧ q) frente a ¬p ∨ ¬q— o con la contraposición: p → q frente a ¬q → ¬p. Y comprueba por qué p → q no equivale a su recíproco q → p.
¿Necesitas entender lo que sale? Practica con los ejercicios resueltos de lógica o escríbenos para clases individuales.