zjswhhh / propositional-logic Goto Github PK
View Code? Open in Web Editor NEWImplemented two inference methods (truth-table enumeration method & resolution-based theorem prover) for Propositional Logic and demonstrate them on some example problems.