#

conjunctive-normal-form

Here is 1 public repository matching this topic...

Zumisha / First-order_predicate_calculus_to_CNF

Program for converting formulas of the first-order predicate calculus into a conjunctive normal form.

csharp conversion logic first-order-logic conjunctive-normal-form

Updated Oct 6, 2018
C#

Improve this page

Add a description, image, and links to the conjunctive-normal-form topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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