Calculator determines minterms and maxterms from truth tables of Boolean expressions. Tool is free to use and available on dCode platform. Results can be exported as .csv or .txt files
Calculator builds truth tables for Boolean functions and their vectors. Calculates CNF and DNF normal forms for Boolean functions. Determines function classes using Post Emil Leon's system. Creates K-Map and minimizes CNF/DNF
CNF is a formula consisting of one or more clauses, which are disjunctions of literals. Only or, not, and conjunction operators are allowed in CNF. Not operator can only precede propositional variables
"If and only if" (iff) is a logical connective between statements. Statements are true only when either is true or both are false. Common alternatives include "Q is necessary and sufficient for P". "If" is more commonly used in mathematical definitions
Designing flame detection circuit for toxic waste incinerator. Multiple sensors needed to prevent uncontrolled waste release. System requires valve opening only when all sensors detect flame
Truth table represents logical expressions in Boolean algebra. Truth is represented by 1, False by 0. Tool automatically generates combinations for 4 variables