Considere a tabela-verdade das funções S1 e S2 abaixo. Obtenha a função mínima que implementa uma nova função S1+S2.
| A | B | C | D | S1 | S2 | S1+S2 |
| 0 | 0 | 0 | 0 | x | 1 | |
| 0 | 0 | 0 | 1 | 0 | 1 | |
| 0 | 0 | 1 | 0 | x | x | |
| 0 | 0 | 1 | 1 | 0 | 0 | |
| 0 | 1 | 0 | 0 | 0 | 1 | |
| 0 | 1 | 0 | 1 | 1 | 1 | |
| 0 | 1 | 1 | 0 | 0 | 1 | |
| 0 | 1 | 1 | 1 | x | 1 | |
| 1 | 0 | 0 | 0 | x | x | |
| 1 | 0 | 0 | 1 | 0 | x | |
| 1 | 0 | 1 | 0 | 1 | x | |
| 1 | 0 | 1 | 1 | x | x | |
| 1 | 1 | 0 | 0 | 0 | x | |
| 1 | 1 | 0 | 1 | 1 | x | |
| 1 | 1 | 1 | 0 | 1 | 1 | |
| 1 | 1 | 1 | 1 | x | 0 |