Considere a tabela verdade a seguir, que apresenta o estado da saída Y em função das variáveis binárias independentes a, b e c.
| a b c | Y |
| 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 1 | 1 0 0 1 0 1 |
A expressão da saída (Y) na 2ª forma canônica é o que se apresenta em
