Search Results for "cnf"
Sort By:
Showing 2 open source projects for "cnf"
View related business solutions-
Red Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.
-
The only software you need to increase cash flow, optimize resource utilization, and take control of your assets and inventory.
-
1
Logic Calculator
A Calculator to perform logical operations
..., so 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