TautoTeacher: Herramienta web para la verificación de tautologías en lógica proposicional
Análisis Rápido
Verifica expresiones lógicas en tiempo real
Visualización Clara
Resultados presentados de forma intuitiva
Educativo
Perfecto para estudiantes de lógica
Ingrese Su Expresión Lógica
Símbolos Lógicos
Resultado
Instrucciones
- Utilice los símbolos estándar: ∧ (AND), ∨ (OR), ¬ (NOT), → (implicación), ↔ (equivalencia)
- Puede usar paréntesis para agrupar expresiones
- Ejemplos válidos: "p → q", "¬(p ∧ ¬q)", "(p ∨ q) ↔ (q ∨ p)"