- 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)
TUM_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
clamesc/Propositional-Logic-Parser
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
TUM_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.
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published