Supongamos que se le pide que identifique una expresión de suma de productos (SSOP) estándar de 4 o 5 opciones ...
3 de ellos definitivamente no son SSOP (faltan variables entre los términos) ... sin embargo, dos de las opciones son ...
- Ninguna de las anteriores.
- AB '.
Solución: Es posible que AB 'tenga la forma SSOP. No saber el dominio permite construir esto.
Z = AB 'es válido & de formulario SSOP ...
| Un | B | Z |
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |