This project is an expert system for propositional calculus : https://en.wikipedia.org/wiki/Expert_system
The projets got 4 options :
-S -> Will show the input file -P -> Will show the process of the parser -D -> Will show the state of all letters at the end -G -> Will activate the visual bonus
List of bonus :
-The project handle OR in conclusion -The project handle XOR in conclusion -The project have a visual node graph -The project can display state of all letters -The project differentiate letters proven false, and false by default (no proof or true or false) -The project handle bicondinional rules