Sia data la rete combinatoria qui rappresentata (un click sulla figura aprirà lo schema nel d-DcS).

Si compili una tavola di verità della rete. Quindi, esaminando la tabella, ricavare in modo intuitivo una rete logica più semplice, ma con la stessa funzionalità: è disponibile qui una traccia dello schema. Per verificare che le due reti combinatorie sono equivalenti dal punto di vista funzionale, si eseguano due simulazioni temporali , una per ogni rete, che comprendono tutte le possibili combinazioni degli ingressi A e B (sono già predisposte, nel diagramma temporale, le opportune sequenze di test).

Infine, si ripeta la progettazione utilizzando un multiplexer 4-1 (MUX 4 -1), completando le connessioni evidenziate nello schema seguente (un click sulla figura aprirà la rete nel d-DcS):

Si esegua una simulazione temporale anche per questa rete, con tutte le possibili combinazioni degli ingressi A e B (anche in questo caso è disponibile la appropriata sequenza di test).