- Start test.py in terminal "python test.py"
- main.py has to be in the same folder
- Python-Version used: Python 2.7.6
- Operating System: Linux (Windows,MacOS should work as well)
clamesc / propositional-logic-parser Goto Github PK
View Code? Open in Web Editor NEWTUM_AI_WS1516: The parser module reads ASCII strings and converts them into propositional logic formula. The entailment module reads two parsed propositional logic formulae A and B, and then it decides whether A != B or not.
License: GNU General Public License v3.0