Interpretador de expressões lógicas e aritméticas. Feito com <3.
Analisando lógicamente uma expressão:
ex('¬(true→false)→true∧false↔false')
Expressões matemáticas:
ex('[(5+5*2)^3]')
Obter a tabela verdade da expressão:
f_TabelaVerdade('(¬(P Λ Q) ↔ (¬P ∨ ¬Q)) Λ S')