ALP - Analisador de Lógica Proposicional

Um provador de teoremas de lógica proposicional escrito em JavaScript.

Aviso de Data

A data nos commits não reflete a data real de desenvolvimento. Eu escrevi este script quando era um estagiário em 2014 no Centro de Pesquisa em Arquitetura da Informação, UnB.

ALP - Propositional Logic Analyzer

A propositional logic theorem prover written in JavaScript.

Date Notice

The date in the commits are not the real development date. I wrote this script when I was a trainee at CPAI-UnB in 2014 and now I uploaded it to GitHub.