This article is about canonical forms particularly in Boolean algebra. It is not to be confused with Canonical form or Normal form.
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
This article's tone or style may not reflect the encyclopedic tone used on Wikipedia. See Wikipedia's guide to writing better articles for suggestions.(February 2009) (Learn how and when to remove this message)
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Canonical normal form" – news · newspapers · books · scholar · JSTOR(October 2010) (Learn how and when to remove this message)
This article presents an incomplete view of the subject.
(Learn how and when to remove this message)
In Boolean algebra, any Boolean function can be expressed in the canonical disjunctive normal form (CDNF)[1] or minterm canonical form, and its dual, the canonical conjunctive normal form (CCNF) or maxterm canonical form. Other canonical forms include the complete sum of prime implicants or Blake canonical form (and its dual), and the algebraic normal form (also called Zhegalkin or Reed–Muller).
Minterms are called products because they are the logical AND of a set of variables, and maxterms are called sums because they are the logical OR of a set of variables. These concepts are dual because of their complementary-symmetry relationship as expressed by De Morgan's laws.
Two dual canonical forms of any Boolean function are a "sum of minterms" and a "product of maxterms." The term "Sum of Products" (SoP or SOP) is widely used for the canonical form that is a disjunction (OR) of minterms. Its De Morgan dual is a "Product of Sums" (PoS or POS) for the canonical form that is a conjunction (AND) of maxterms. These forms can be useful for the simplification of these functions, which is of great importance in the optimization of Boolean formulas in general and digital circuits in particular.
^Peter J. Pahl; Rudolf Damrath (2012-12-06). Mathematical Foundations of Computational Engineering: A Handbook. Springer Science & Business Media. pp. 15–. ISBN 978-3-642-56893-0.
and 27 Related for: Canonical normal form information
canonical disjunctive normalform (CDNF) or minterm canonicalform, and its dual, the canonical conjunctive normalform (CCNF) or maxterm canonical form...
In mathematics and computer science, a canonical, normal, or standard form of a mathematical object is a standard way of presenting that object as a mathematical...
a canonicalnormalform, it is useful in automated theorem proving and circuit theory. In automated theorem proving, the notion "clausal normalform" is...
linear algebra, a Jordan normalform, also known as a Jordan canonicalform (JCF), is an upper triangular matrix of a particular form called a Jordan matrix...
In boolean logic, a disjunctive normalform (DNF) is a canonicalnormalform of a logical formula consisting of a disjunction of conjunctions; it can also...
has more than one possible representation into a "standard", "normal", or canonicalform. This can be done to compare different representations for equivalence...
Third normalform (3NF) is a database schema design approach for relational databases which uses normalizing principles to reduce the duplication of data...
literature in that context. In mathematics, canonical example is often used to mean 'archetype'. Canonicalform, a natural unique representation of an object...
composed and decomposed forms impose a canonical ordering on the code point sequence, which is necessary for the normalforms to be unique. In order to...
prime implicants of f. The Blake canonicalform is a special case of disjunctive normalform. The Blake canonicalform is not necessarily minimal (upper...
structuring a relational database in accordance with a series of so-called normalforms in order to reduce data redundancy and improve data integrity. It was...
and disjunction ( ∨ {\displaystyle \lor } , or). Negation normalform is not a canonicalform: for example, a ∧ ( b ∨ ¬ c ) {\displaystyle a\land (b\lor...
In mathematics, the Smith normalform (sometimes abbreviated SNF) is a normalform that can be defined for any matrix (not necessarily square) with entries...
ways to define the canonical divisor. If the variety is normal, it is smooth in codimension one. In particular, we can define canonical divisor on the smooth...
Canonical XML is a normalform of XML, intended to allow relatively simple comparison of pairs of XML documents for equivalence; for this purpose, the...
In Boolean algebra, the algebraic normalform (ANF), ring sum normalform (RSNF or RNF), Zhegalkin normalform, or Reed–Muller expansion is a way of writing...
(minterms) Full (canonical) conjunctive normalform, an AND of ORs each containing every argument or complement (maxterms) Blake canonicalform, the OR of all...
a matrix in Jordan normalform. In particular, Definition: A set of n linearly independent generalized eigenvectors is a canonical basis if it is composed...
proved the remarkable Normal-form Theorem, which applies to the most-general type of Post canonical system: Given any Post canonical system on an alphabet...
reduced row echelon form or in canonicalform if its augmented matrix is in reduced row echelon form. The canonicalform may be viewed as an explicit solution...
In mathematics, in linear algebra, a Weyr canonicalform (or, Weyr form or Weyr matrix) is a square matrix which (in some sense) induces "nice" properties...
algebra, eigendecomposition is the factorization of a matrix into a canonicalform, whereby the matrix is represented in terms of its eigenvalues and eigenvectors...
because the rational canonicalform over K is also the rational canonicalform over L. This means that one may use Jordan forms that only exist over a...
method of indeterminate coefficients By constructing the canonical disjunctive normalform By using tables Pascal method Summation method Using a Karnaugh...