u1 = x1 x4 x5 + x1 x2 x4
u2 = x1' x2' x3 x4 x5' + x1' x2 x3 x4' x5 + x1 x2' x3 x4' x5'
u3 = x1 x2 x3 x4 + x1 x3 x4 x5
Poichè il numero degli ingressi è 5 la tabella di verità
della rete avrebbe 2^5 combinazioni di ingressi,
quindi conviene valutare solo gli ingressi che fanno modificare il
valore delle uscite (sia quelle dei resti che quelle del numero di pacchetti
di sigarette). Questi valori degli ingressi sono schematizzati nella seguente
tabella :
Conta50 Conta100 | Npac R50 R100
1
2 |
1 0
0
3
1 |
1 0
0
5
0 |
1 0
0
6
2 |
2 0
0
7
2 |
2 1
0
4
3 |
2 0
0
5
3 |
2 1
0
6
3 |
2 0
1
7
3 |
2 1
1
dove: Conta50 è un ingresso di 3 bit che contiene il numero di
50 scudi introdotti
Conta100 è
un ingresso di 2 bit che contiene il numero di 100 scudi introdotti
Npac è il numero
di pacchetti che deve emettere la macchina
R50 il resto di 50
scudi
R100 il resto di 100
scudi
Convertendo i valori in binario si ha :
Conta50 Conta100 | Npac R50
R100
x1 x2 x3 x4 x5
| u1 u2 u3 u4
0 0 1
1 0 | 0
1 0 0
0 1 1
0 1 | 0
1 0 0
1 0 1
0 0 | 0
1 0 0
1 1 0
1 0 | 1
0 0 0
1 1 1
1 0 | 1
0 1 0
1 0 0
1 1 | 1
0 0 0
1 0 1
1 1 | 1
0 1 0
1 1 0
1 1 | 1
0 0 1
1 1 1
1 1 | 1
0 1 1
semplificando con le mappe di Karnaugh :
u1 = x1 x4 x5 + x1 x2 x4
u2 = x1' x2' x3 x4 x5' + x1' x2 x3 x4' x5 + x1 x2' x3 x4' x5'
u3 = x1 x2 x3 x4 + x1 x3 x4 x5
u4 è semplice ricavarla anche senza mappa.
u4 = x1 x2 x3' x4 x5 + x1 x2 x3 x4 x5 =
= x1 x2 x4 x5
da cui il circuito :
