faizanasad / ResolutionLawCPP

Application of resolution law by converting premises into clauses and conclusions and applying resolution law to prove the statements.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ResolutionLawCPP

Application of resolution law by converting premises into clauses and conclusions and applying resolution law to prove the statements.

About

Application of resolution law by converting premises into clauses and conclusions and applying resolution law to prove the statements.

License:GNU General Public License v3.0


Languages

Language:C++ 100.0%