Editing Canonical normal form (section)

=== Indexing maxterms ===
There are again 2<sup>''n''</sup> maxterms of {{mvar|n}} variables, since a variable in the maxterm expression can also be in either its direct or its complemented form—two choices per variable. The numbering is chosen so that the complement of a minterm is the respective maxterm. That is, 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 <math>(x_i)</math> and 1 to the complemented form <math>(x'_i)</math>. For example, we assign the index 6 to the maxterm <math>a' + b' + c</math> (110) and denote that maxterm as ''M''<sub>6</sub>. The complement <math>(a' + b' + c)'</math> is the minterm <math>a b c' = m_6</math>, using [[de Morgan's law]].