resolution-algorithm

Here is 1 public repository matching this topic...

RamvignesH-R / Circuit-Verification-Using-Resolution

An Artificial Intelligence exercise implementing propositional logic resolution and CNF-based reasoning using Python. The notebook demonstrates automated theorem proving, logical equivalence verification, and resolution refutation concepts in a practical learning-oriented workflow.

python cnf logic-gates resolution-algorithm circuit-verification

Updated May 10, 2026
Jupyter Notebook

Add this topic to your repo

To associate your repository with the resolution-algorithm topic, visit your repo's landing page and select "manage topics."

Learn more