Propositional Logic Engine, using George Boole's logic of ordinary algebra (partial '+' operator).
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool