3.5 - Formas Canônicas, Padrão e Não-Padrão

Você deve ter observado que as representações em soma de produtos e em produto de somas seguem um padrão, por isso elas são chamadas de: formas padrão.

A soma de produtos e o produto de somas que estudamos nos parágrafos anteriores apresentam ainda uma característica peculiar: todas as variáveis da função estão presentes em cada termo soma e em cada termo produto. Em virtude desta característica, essas formas são chamadas de: canônicas.

Muito mais do que foi visto nas representações mostradas nos parágrafos anteriores, há representações alternativas e também mais enxutas para as expressões canônicas. Caso façamos associação para cada combinação das variáveis de entrada e ao seu equivalente em decimal, cada mintermo pode ser representado por m_i, onde i é o decimal associado. De forma parecida, cada maxtermo pode ser representado por M_i, onde i é o decimal associado. Na tabela abaixo temos uma listagem de todos os mintermos e maxtermos tendo por base uma função com três variáveis: A, B, C).