Lab
Math Proof
AINTECH · Demostrador de lógica proposicional
Verifica fórmulas de lógica proposicional mediante tablas de verdad completas. Los sistemas de IA para demostración automática de teoremas (ATP) combinan SAT solvers, razonamiento formal y búsqueda guiada por LLMs para resolver problemas de matemáticas olímpicas y verificación de software.
Operadores: !¬ (NOT) · &∧ (AND) · |∨ (OR) · -> (IMPL) · <-> (BICOND)
Ejemplos clásicos:
Introduce una fórmula y pulsa ✓