Disjunctive normal form
Proposition formula of a special form
In boolean logic, a disjunctive normal form (DNF) is a normal form of a logical formula consisting of a disjunction of conjunctions; it can also be described as an OR of ANDs, a sum of products, or — in philosophical logic — a cluster concept. The disjunctive normal form and its counterpart, the conjunctive normal form, are the most common standardized ways of representing boolean expressions.
Nº Q903789 ★★
Uncommon · Knowledge
Disjunctive normal form
Proposition formula of a special form
In boolean logic, a disjunctive normal form (DNF) is a normal form of a logical formula consisting of a disjunction of conjunctions; it can also be described as an OR of ANDs, a sum of products, or — in philosophical logic — a cluster concept. The disjunctive normal form and its counterpart, the conjunctive normal form, are the most common standardized ways of representing boolean expressions.
From Wikipedia
In boolean logic, a disjunctive normal form (DNF) is a normal form of a logical formula consisting of a disjunction of conjunctions; it can also be described as an OR of ANDs, a sum of products, or — in philosophical logic — a cluster concept. The disjunctive normal form and its counterpart, the conjunctive normal form, are the most common standardized ways of representing boolean expressions. They are widely used in various applications such as circuit design or automated theorem proving.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
C
Conjunctive normal form
Concept in Boolean logic
Nº Q846564 ★★
Not listed
-
Logical NOR
Binary operation that is true if and only if both operands are false
Nº Q574946 ★★
Not listed
-
Differential operator
Typically linear operator defined in terms of differentiation of functions
Nº Q1058681 ★★
Not listed
-
Logical disjunction
Logical connective OR
Nº Q1651704 ★★★
Not listed
-
S
SLD resolution
The basic inference rule used in logic programming
Nº Q3459697 ★
Not listed
-
Finite-difference time-domain method
Numerical methods for solving partial differential equations
Nº Q1417308 ★
Not listed