Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
Answer.txt		Answer.txt
LICENSE		LICENSE
README.md		README.md
README.txt		README.txt
bonus3.py		bonus3.py
main.py		main.py
main.pyc		main.pyc
practical3.pdf		practical3.pdf
test.py		test.py

Repository files navigation

Propositional-Logic-Parser

Assignment

How to start

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)

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.

entailment parser propositional-logic python recursion

GPL-3.0 license

Report repository

Releases

Packages

Contributors

Languages