Chamamos de condição irrelevante (X) a situação de entrada onde a saída pode assumir 0 ou 1 indiferentemente. Esta condição ocorre principalmente pela impossibilidade prática do caso de uma entrada. Dada a tabela abaixo, escolha os valores de S1 e S2 apropriados para se obter as menores expressões boolianas possíveis (expressões canônicas):
| A | B | C | S1 | S2 |
| 0 | 0 | 0 | X | X |
| 0 | 0 | 1 | 1 | X |
| 0 | 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | X | X |
| 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | X | 0 |
| 1 | 1 | 0 | X | X |
| 1 | 1 | 1 | 1 | 1 |
