Na álgebra booleana, as funções booleanas são uma forma de r...

Os mintermos geram um produto entre as variáveis e, entre os mintermos, é realizada uma soma, gerando o conceito de Soma de Produtos (SOP).

Os maxtermos se diferenciam dos mintermos devido a não necessidade de apresentar todas as variáveis nos termos na forma canônica.

A forma canônica de um mintermo ou maxtermo deve apresentar todas as linhas onde possui como resultado 1, mas não precisa apresentar todas as variáveis de entrada.

Uma tabela-verdade, que possui quatro variáveis e apenas três linhas com valores iguais ao valor lógico 1, possui quatro mintermos com 3 variáveis.

Um produto das somas (POS) representa todas as linhas onde a combinação das entradas tem como resultado o valor 1.