Clauses Representation Comparison in Neuro- Symbolic Integration
Saratha Sathasivam · 2010
In the area of logical reasoning systems, conjunctive normal form (CNF) is used widely. Hence, we are interested in CNF form to ease the use in logical reasoning system. In this paper we show that given any clauses in DNF, we can convert it into respective CNF. We also prove the existence of logical equivalent between the DNF and the respective CNF conversion.