An interpreter for sentential logic (propositional calculus) written in Python. Includes a resolution-based automated theorem prover.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool