My first personal Java project where I try to make a logic calculator in Java.
Currently unfinished!
- Parsing propositional logic formulas from Strings
- Converting formulas to CNF
- Getting clauses
- Getting truth value of formulas from variable values (Added truth tables and eval function)
- Different ways of getting satisfiability of formulas (Added truth trees, resolution and DPLL)
- First order logic implementation (will take a long time...)
- A decent looking GUI
- Practice mode for whoever is actually trying to study with this