Formas canônicas
As formas canônicas são uma forma alternativa para criar tabelas verdades e a partir delas obter a expressão booleana do circuito lógicos.
Existem duas formas canônicas:
Observação
Em alguns cenários, a forma disjuntiva normal e forma conjuntiva normal podem aparentar como uma expressão dual uma da outra, porém isso não necessária é verdade, pois isso só acontece quando o número de saídas
1for igual a número de saídas0.