Skip to content

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

Notifications You must be signed in to change notification settings

clamesc/Propositional-Logic-Parser

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Propositional-Logic-Parser

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.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages