Search Results for "cnf"
Sort By:
Showing 2 open source projects for "cnf"
View related business solutions-
With the world of work changed forever, it’s essential to manage your workplace and assets together to effectively create a high-performing environment. The Eptura experience combines the power of workplace management software with asset management, enabling you to effectively operate your building and facilitate hybrid work.
-
Send and receive SMS and fax online, from email, app or with our developer friendly SMS & fax API. HIPAA compliant & ISO 27001 certified. Outstanding value and 5-star service.
-
1
Logic Calculator
A Calculator to perform logical operations
... the Logic Calculator displays the truth table of each premise / conclusion and the result of whether or not these premises logically entail the given conclusions. (3) Conversion of a formula to Disjunctive Normal Form (DNF) and Conjunctive Normal Form (CNF): In this mode the user inserts a logic formula and the Logic Calculator outputs its representation in both a DNF and CNF. -
2
CNF-toolkit is a simple library for constructing and manipulating boolean formulae in conjunctive normal form.
- Previous
- You're on page 1
- Next