170 likes | 279 Views
Analisi della rete: costruzione della TDV. a. b. Z. c. Costruzione della tabella della verità. F 1. F1= ab. a. F 3. F2= ac. b. Z. F3 = F1+ F2. c. Z = /F3. Z = ab + ac. F 2. Costruzione della tabella della verità. a. b. c. F 3. F 1. F 2. Z. Z = ab + ac. 0 0 0 0 0
E N D
Costruzione della tabella della verità F1 F1= ab a F3 F2= ac b Z F3 = F1+ F2 c Z = /F3 Z = ab + ac F2
Costruzione della tabella della verità a b c F3 F1 F2 Z Z = ab + ac 0 0 0 0 0 1 1 1 0 0 0 00 1 0 1 1 0 1 0 1 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 F1= ab F2= ac F3 = F1+ F2 Z = /F3
Costruzione di reti logiche equivalenti Primo passo: l’espressione logica a b Z Z = ab + ac c
Manipolazione di Espressioni logiche con i teoremi dell’algebra di Boole Z = ab + ac = …???
Manipolazione di Espressioni logiche con i teoremi dell’algebra di Boole Z1 = a (b + c) Z2 = a + b + c Z = ab + ac = Z3 = a + b c Z4 = ab ac
Espressioni logiche equivalenti Z1 = a (b + c) Verificare l’equivalenza di queste espressioni Z2 = a + b + c Z3 = a + b c Z4 = ab ac
Prima soluzione: costruzione della TDV TDV Z1 = a (b + c) TDV Z2 = a + b + c TDV Z3 = a + b c TDV Z4 = ab ac
Seconda soluzione: impiego di un simulatore logico Analisi tramite uno strumento di simulazione Schematico TDV Z1 = a (b + c) Schematico TDV Z2 = a + b + c Schematico TDV Z3 = a + b c Schematico TDV Z4 = ab ac
Verificare l’equivalenza delle reti (Mappa di karnaugh) Z1 Z2 Z3 Z4 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 ? (…si poteva usare anche la tabella della verità…)
Verificare l’equivalenza delle reti (Mappa di karnaugh) Z1 Z2 Z3 Z4 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0
Espressione logica Z1 Z2 Z3 Z4 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 Zc = Z1 Z2 Z3 Z4 +Z1 Z2 Z3 Z4
Schema logico Z1 Z2 Z3 Z4 Zc Z1 Z2 Z3 Z4
Schema logico Una rete equivalente? Z1 Z2 Z3 Z4 Zc Z1 Z2 Z3 Z4
Schema logico Z1 Z2 Z3 Z4 Zc Z1 Z2 Z3 Z4
Manipolazione di Espressioni logiche con i teoremi dell’algebra di Boole ? Z1 = a (b + c) Z2 = a + b + c Z = ab + ac = Z3 = a + b c Z4 = ab ac