GitHub / ChakshuGupta13 / propositional-logic-theorem-prover-using-resolution-refutation

Propositional Logic Theorem Prover using Resolution-Refutation takes Knowledge Base (i.e., formulae) and Query as input and implement a refutation proof (by first converting the given formulae into CNF), and report the result (1 if the query holds, and 0 otherwise). Additionally, the program have an option to print the resolution steps used in the proof.

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ChakshuGupta13%2Fpropositional-logic-theorem-prover-using-resolution-refutation

Topics: propositional-logic, propositional-logic-theorem, resolution-refutation

• Files
• Readme
• Dependencies