maxterms

In Boolean algebra, any Boolean function can be expressed in the canonical disjunctive normal form ( CDNF) or minterm canonical form and its dual 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.

Minterms

For a boolean function of $n$ variables $$, a product term in which each of the $n$ variables appears once (either in its complemented or uncomplemented form) is called a ''minterm''. Thus, a ''minterm'' is a logical expression of ''n'' variables that employs only the ''complement'' operator and the ''conjunction'' operator.

For example, $abc$, $ab'c$ and $abc'$ are 3 examples of the 8 minterms for a Boolean function of the three variables $a$, $b$, and $c$. The customary reading of the last of these is ''a AND b AND NOT-c''.

There are 2^''n'' minterms of ''n'' variables, since a variable in the minterm expression can be in either its direct or its complemented form—two choices per variable.

Indexing minterms

Minterms are often numbered by a binary encoding of the complementation pattern of the variables, where the variables are written in a standard order, usually alphabetical. This convention assigns the value 1 to the direct form ($x_i$) and 0 to the complemented form ($x'_i$); the minterm is then $\sum\limits_^n2^\operatorname(x_i)$. For example, minterm $a b c'$ is numbered 110₂ = 6₁₀ and denoted $m_6$.

Functional equivalence

A given minterm ''n'' gives a true value (i.e., 1) for just one combination of the input variables. For example, minterm 5, ''a'' ''b''' ''c'', is true only when ''a'' and ''c'' both are true and ''b'' is false—the input arrangement where ''a'' = 1, ''b'' = 0, ''c'' = 1 results in 1.

Given the truth table of a logical function, it is possible to write the function as a "sum of products". This is a special form of disjunctive normal form. For example, if given the truth table for the arithmetic sum bit ''u'' of one bit position's logic of an adder circuit, as a function of ''x'' and ''y'' from the addends and the carry in, ''ci'':

Observing that the rows that have an output of 1 are the 2nd, 3rd, 5th, and 8th, we can write ''u'' as a sum of minterms $m_1, m_2, m_4,$ and $m_7$. If we wish to verify this: $u(ci,x,y) = m_1 + m_2 + m_4 + m_7 = (ci',x',y)+(ci',x,y') + (ci,x',y')+(ci,x,y)$ evaluated for all 8 combinations of the three variables will match the table.

Maxterms

For a boolean function of variables $$, a sum term in which each of the variables appears once (either in its complemented or uncomplemented form) is called a ''maxterm''. Thus, a ''maxterm'' is a logical expression of variables that employs only the ''complement'' operator and the ''disjunction'' operator. Maxterms are a dual of the minterm idea (i.e., exhibiting a complementary symmetry in all respects). Instead of using ANDs and complements, we use ORs and complements and proceed similarly.

For example, the following are two of the eight maxterms of three variables:
: ''a'' + ''b''′ + ''c''
: ''a''′ + ''b'' + ''c''

There are again 2^''n'' maxterms of variables, since a variable in the maxterm expression can also be in either its direct or its complemented form—two choices per variable.

Indexing maxterms

Each maxterm is assigned an index based on the opposite conventional binary encoding used for minterms. The maxterm convention assigns the value 0 to the direct form $(x_i)$ and 1 to the complemented form $(x'_i)$. For example, we assign the index 6 to the maxterm $a' + b' + c$ (110) and denote that maxterm as ''M''₆. Similarly ''M''₀ of these three variables is $a + b + c$ (000) and ''M''₇ is $a' + b' + c'$ (111).

Functional equivalence

It is apparent that maxterm ''n'' gives a ''false'' value (i.e., 0) for just one combination of the input variables. For example, maxterm 5, ''a''′ + ''b'' + ''c''′, is false only when ''a'' and ''c'' both are true and ''b'' is false—the input arrangement where a = 1, b = 0, c = 1 results in 0.

If one is given a truth table of a logical function, it is possible to write the function as a "product of sums". This is a special form of conjunctive normal form. For example, if given the truth table for the carry-out bit ''co'' of one bit position's logic of an adder circuit, as a function of ''x'' and ''y'' from the addends and the carry in, ''ci'':

Observing that the rows that have an output of 0 are the 1st, 2nd, 3rd, and 5th, we can write ''co'' as a product of maxterms $M_0, M_1, M_2$ and $M_4$. If we wish to verify this:
:$co(ci, x, y) = M_0 M_1 M_2 M_4 = (ci + x + y) (ci + x + y') (ci + x' + y) (ci' + x + y)$
evaluated for all 8 combinations of the three variables will match the table.

Dualization

The complement of a minterm is the respective maxterm. This can be easily verified by using de Morgan's law. For example:
$M_5 = a' + b + c' = (a b' c)' = m_5'$

Non-canonical PoS and SoP forms

It is often the case that the canonical minterm form can be simplified to an equivalent SoP form.
This simplified form would still consist of a sum of product terms. However, in the simplified form,
it is possible to have fewer product terms and/or product terms that contain fewer variables.
For example, the following 3-variable function:

has the canonical minterm representation:
$f = a'bc + abc$, but it has an equivalent simplified form:
$f = bc$.
In this trivial example, it is obvious that $bc = a'bc + abc$, but the simplified form has both fewer product terms,
and the term has fewer variables.

The most simplified SoP representation of a function is referred to as a ''minimal SoP form''.

In a similar manner, a canonical maxterm form can have a simplified PoS form.

While this example was simplified by applying normal algebraic methods math>f = (a' + a) b c in less obvious cases a convenient method for finding the minimal PoS/SoP form of a function with up to four variables is using a Karnaugh map.

The minimal PoS and SoP forms are important for finding optimal implementations of boolean functions
and minimizing logic circuits.

Application example

The sample truth tables for minterms and maxterms above are sufficient to establish the canonical form for a single bit position in the addition of binary numbers, but are not sufficient to design the digital logic unless your inventory of gates includes AND and OR. Where performance is an issue (as in the Apollo Guidance Computer), the available parts are more likely to be NAND and NOR because of the complementing action inherent in transistor logic. The values are defined as voltage states, one near ground and one near the DC supply voltage V_cc, e.g. +5 VDC. If the higher voltage is defined as the 1 "true" value, a NOR gate is the simplest possible useful logical element.

Specifically, a 3-input NOR gate may consist of 3 bipolar junction transistors with their emitters all grounded, their collectors tied together and linked to V_cc through a load impedance. Each base is connected to an input signal, and the common collector point presents the output signal. Any input that is a 1 (high voltage) to its base shorts its transistor's emitter to its collector, causing current to flow through the load impedance, which brings the collector voltage (the output) very near to ground. That result is independent of the other inputs. Only when all 3 input signals are 0 (low voltage) do the emitter-collector impedances of all 3 transistors remain very high. Then very little current flows, and the voltage-divider effect with the load impedance imposes on the collector point a high voltage very near to V_cc.

The complementing property of these gate circuits may seem like a drawback when trying to implement a function in canonical form, but there is a compensating bonus: such a gate with only one input implements the complementing function, which is required frequently in digital logic.

This example assumes the Apollo parts inventory: 3-input NOR gates only, but the discussion is simplified by supposing that 4-input NOR gates are also available (in Apollo, those were compounded out of pairs of 3-input NORs).

Canonical and non-canonical consequences of NOR gates

A set of 8 NOR gates, if their inputs are all combinations of the direct and complement forms of the 3 input variables ''ci, x,'' and ''y'', always produce minterms, never maxterms—that is, of the 8 gates required to process all combinations of 3 input variables, only one has the output value 1. That's because a NOR gate, despite its name, could better be viewed (using De Morgan's law) as the AND of the complements of its input signals.

The reason this is not a problem is the duality of minterms and maxterms, i.e. each maxterm is the complement of the like-indexed minterm, and vice versa.

In the minterm example above, we wrote $u(ci, x, y) = m_1 + m_2 + m_4 + m_7$ but to perform this with a 4-input NOR gate we need to restate it as a product of sums (PoS), where the sums are the opposite maxterms. That is,

:$u(ci, x, y) = \mathrm(M_0,M_3,M_5,M_6) = \mathrm(m_0,m_3,m_5,m_6).$

In the maxterm example above, we wrote $co(ci, x, y) = M_0 M_1 M_2 M_4$ but to perform this with a 4-input NOR gate we need to notice the equality to the NOR of the same minterms. That is,

:$co(ci, x, y) = \mathrm(M_0,M_1,M_2,M_4) = \mathrm(m_0,m_1,m_2,m_4).$

Design trade-offs considered in addition to canonical forms

One might suppose that the work of designing an adder stage is now complete, but we haven't addressed the fact that all 3 of the input variables have to appear in both their direct and complement forms. There's no difficulty about the addends ''x'' and ''y'' in this respect, because they are static throughout the addition and thus are normally held in latch circuits that routinely have both direct and complement outputs. (The simplest latch circuit made of NOR gates is a pair of gates cross-coupled to make a flip-flop: the output of each is wired as one of the inputs to the other.) There is also no need to create the complement form of the sum ''u''. However, the carry out of one bit position must be passed as the carry into the next bit position in both direct and complement forms. The most straightforward way to do this is to pass ''co'' through a 1-input NOR gate and label the output ''co''′, but that would add a gate delay in the worst possible place, slowing down the rippling of carries from right to left. An additional 4-input NOR gate building the canonical form of ''co''′ (out of the opposite minterms as ''co'') solves this problem.

: $co'(ci, x, y) = \mathrm(M_3,M_5,M_6,M_7) = \mathrm(m_3,m_5,m_6,m_7).$

The trade-off to maintain full speed in this way includes an unexpected cost (in addition to having to use a bigger gate). If we'd just used that 1-input gate to complement ''co'', there would have been no use for the minterm $m_7$, and the gate that generated it could have been eliminated. Nevertheless, it's still a good trade.

Now we could have implemented those functions exactly according to their SoP and PoS canonical forms, by turning NOR gates into the functions specified. A NOR gate is made into an OR gate by passing its output through a 1-input NOR gate; and it is made into an AND gate by passing each of its inputs through a 1-input NOR gate. However, this approach not only increases the number of gates used, but also doubles the number of gate delays processing the signals, cutting the processing speed in half. Consequently, whenever performance is vital, going beyond canonical forms and doing the Boolean algebra to make the unenha