Search Results for "cnf"
Sort By:
Showing 2 open source projects for "cnf"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
Free CRM Software With Something for EveryoneThink CRM software is just about contact management? Think again. HubSpot CRM has free tools for everyone on your team, and it’s 100% free. Here’s how our free CRM solution makes your job easier.
-
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
GTE Note Taker
A simple yet flexible portable plain text note taker for note addicts.
This small application aims to to help the user take structured plain text notes one at a time. By design, the application aim to be as simple as possible to take a note without being distracted by bells and whistles. The application can also be used to record todos and journal entries. They are structured because they have consistent names ([type]-timestamp.txt), stored in one configurable path, and, optionally, their contents follow predefined formats (see the cnf file).
- Previous
- You're on page 1
- Next