Skip to content

git-commit/propositional-logic-eval

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Program structure:
The main program is composed of the modules Eval.py, Logic.py, Parse.py and Lex.py dealing with the evaluation logic.
The test class Test.py can be used for unit testing the program.
Main.py runs and prints the problem solutions.

Running Main.py:
Execute the following command in the Terminal (preferably one that supports Unicode characters):

    python3 Main.py

Platform:
Run on any OS that allows Python 3 to be installed. I myself tested the program on Linux, but OSX and Windows should also work just fine.

About

A simple evaluator for propositional logic including a working parser (recursive-descend-parsing).

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages