bn0367 / logicparser Goto Github PK

Long term goal.
Implement simplifying expressions, which goes hand in hand with proofs.

Currently, you can only negate a variable that's in a statement eg. ~p v ~q.
You can't do just ~p, or ~(p v q)

~p should be easy enough, but whole expression negation might require some work.

If there's an implies with two+ statements on the left, they have to all be enclosed in parentheses as implies doesn't have the proper priority.

eg. (p v q) v (~p v ~q) > (p ^ q)
will output truth table columns for p v q (as expected), and (~p v ~q) > (p ^ q) (wrong).

Move away from standalone into a library

• Create Parser class
• move methods from expression -> parser (parse, evaluate, etc.)
• add customization
• custom ops