Capitolo 2 - Algebra booleana

Transcript

1 ppunti di Elettronica Digitale Capitolo - lgebra booleana Introduzione... Postulati di Huntington... Reti di interruttori... Esempi di algebra booleana... 4 Teoremi ondamentali dell'algebra booleana... Deinizioni varie... 9 Forme canoniche... Porte logiche... Esempio... 4 Osservazione: sistemi unzionalmente completi... Funzioni booleane di variabili booleane... Funzioni NND e NOR... 9 Funzione EOR e ENOR... Osservazione... 4 Esempio... Costo di una unzione booleana... Esempio... lgebra delle proposizioni... Introduzione... Esempio... Mappe di Karnaugh... Introduzione... Metodi di riduzione tramite mappe di Karnaugh... 4 Esempio... 4 Esempio... 4 Esempio Mappe di Karnaugh per la seconda orma canonica... Condizioni don t care... 4

2 ppunti di Elettronica Digitale - Capitolo INTRODUZIONE Il unzionamento di un dispositivo digitale è basato sull'impiego di elementi aventi due possibili stati di unzionamento o, come si dice spesso, due livelli di lavoro, che vengono convenzionalmente indicati con una coppia di parole del tipo uno/zero oppure vero/also. Questo è giustiicato da ragioni molteplici: in primo luogo è acile, e perciò più economico, realizzare circuiti aventi due soli stati di unzionamento; inoltre qualsiasi dato può essere rappresentato mediante successioni di e di. Ci occupiamo allora delle nozioni ondamentali dell'algebra che permette di trattare adeguatamente i segnali binari. Questa algebra prende il nome dal matematico oole che per primo ne pubblicò i concetti generali nel 84. POSTULTI DI HUNTINGTON Consideriamo un insieme S ormato da un certo numero di elementi. Supponiamo che tra questi elementi sia deinita una relazione di uguaglianza che goda delle proprietà simmetrica, transitiva e rilessiva. Supponiamo inine che questo insieme sia dotato delle seguenti proprietà (o postulati):. è deinita una legge di composizione, chiamata somma logica (simbolo ), che ad ogni coppia di elementi qualsiasi e Y dell'insieme S a corrispondere un elemento Z = Y a sua volta appartenente ad S. è deinita una legge di composizione, chiamata prodotto logico (simbolo *), che ad ogni coppia di elementi qualsiasi e Y dell'insieme S a corrispondere un elemento Z = * Y a sua volta appartenente ad S. esiste almeno un elemento dell'insieme S, chiamato zero, che è "neutro" rispetto alla somma, cioè tale che, comunque si scelga un elemento qualsiasi di S, si abbia = 4. esiste almeno un elemento dell'insieme S, chiamato unità, che è "neutro" rispetto al prodotto, cioè tale che, comunque si scelga un elemento qualsiasi di S, si abbia * =. valgono le proprietà commutative delle operazioni somma e prodotto logico: Y = Y * Y = Y *. valgono le proprietà distributive della somma rispetto al prodotto e del prodotto rispetto alla somma: (Y * Z) = (Y) * (Z) * (Y Z) = (*Y) (*Z). per ogni elemento dell'insieme S esiste un elemento ', detto complemento di, sempre appartenente ad S, tale che ' = e * ' = 8. Esiste almeno una coppia di elementi e Y di S tali che sia diverso da Y I precedenti postulati deiniscono sull'insieme S una struttura algebrica che prende il nome di algebra booleana.

3 lgebra booleana RETI DI INTERRUTTORI Un modello particolarmente importante al quale è possibile applicare i postulati di Huntington è quello costituito dalle cosiddette reti di interruttori. Si deinisce intanto circuito elementare un circuito costituito da un interruttore ai cui capi si applica una certa dierenza di potenziale. Un circuito elementare può assumere solo uno tra due dierenti stati di unzionamento: lo stato aperto, contraddistinto dal valore binario, e lo stato chiuso, contraddistinto dal valore binario. Supponiamo allora di avere i circuiti elementari,y,...,z. Si deinisce somma logica di circuiti elementari e Y il nuovo circuito T = Y nel quale i due interruttori e Y sono collegati in parallelo. I valori che il circuito può assumere sono rappresentati da un particolare schema che prende il nome di tavola di verità di un circuito: Y T Da tale tavola si vede che il circuito T risulta aperto in dierenti situazioni mentre risulta chiuso in una sola: ainché sia aperto basta che almeno uno dei due circuiti elementari che lo compongono sia aperto; di conseguenza l'unica possibilità perché sia chiuso è che entrambi i circuiti elementari componenti siano chiusi. Si deinisce prodotto logico di circuiti elementari e Y il nuovo circuito T = * Y nel quale i due interruttori e Y sono collegati in serie. I valori che il circuito può assumere sono rappresentati da un altra opportuna tavola di verità: Y T In questo caso, si nota una situazione in un certo senso inversa a quella esaminata in precedenza: inatti il circuito T risulta aperto in una sola situazione, quella cioè in cui entrambi i circuiti elementari sono aperti; viceversa il circuito T risulta chiuso in distinte situazioni, nelle quali almeno uno dei circuiti elementari componenti è chiuso. Da questo esempio come anche dagli enunciati dei postulati di Huntington si deduce che le operazioni di somma logica e di prodotto logico sono duali tra di loro. La dualità sarà un concetto spesso ricorrente nei discorsi che aremo, tanto da essere anche ormalizzato in un apposito teorema.

4 ppunti di Elettronica Digitale - Capitolo ESEMPI DI LGER OOLEN Consideriamo adesso un insieme S contenenti solo 4 elementi, che indichiamo con,,a,b. Supponiamo che su tale insieme siano deinite due operazioni, che per semplicità chiamiamo somma e prodotto, deinite rispettivamente dalle seguenti tavole della verità: a b a b a a a b b b * a b a a a b b b a b dei quattro simboli e delle due operazioni appena rappresentate costituisce un algebra di oole. Per veriicarlo, non dobbiamo ar altro che controllare se sono veriicati i postulati di Huntington. I primi due postulati rappresentato semplicemente le proprietà di chiusura della somma e del prodotto: acendo la somma o il prodotto di due elementi dell insieme S, il risultato deve essere a sua volta un elemento dell insieme S. E evidente, dalle due tabelle di verità, che questa proprietà è veriicata. Il terzo postulato richiede l esistenza dell elemento neutro rispetto alla somma e si tratta evidentemente del simbolo : sommando con un qualsiasi altro simbolo di S, si ottiene l altro simbolo. In modo analogo, è veriicato il quarto postulato, in quanto il simbolo è neutro rispetto al prodotto. Il quinto ed il sesto postulato richiedono che sia veriicata la proprietà commutativa sia per la somma sia per il prodotto e così accade. E veriicato anche l ottavo postulato, in base al quale non ci devono essere elementi coincidenti nell insieme S. Resta dunque da veriicare il postulato, riguardante le proprietà distributiva della somma rispetto al prodotto e distributiva del prodotto rispetto alla somma: Ci chiediamo se l insieme {,, a, b,,*} (Y * Z) = (Y) * (Z) * (Y Z) = (*Y) (*Z) E acile (anche se piuttosto lungo) veriicare che queste due proprietà sono anch esse veriicate, per cui l insieme {,, a, b,,*} costituisce un algebra di oole Facciamo adesso un altro esempio: consideriamo un insieme S costituito da due soli simboli {,} e deiniamo le seguenti due operazioni di somma e prodotto: * Due operazioni così deinite si indicano rispettivamente con i simboli OR e ND. eriichiamo se l insieme {,,,*} costituisce un algebra di oole. Usiamo (ovviamente) i postulati di Huntington. 4

5 lgebra booleana E immediato accorgersi che sono veriicati tutti i postulati, ma veriichiamo in particolare che sia veriicato il settimo, relativo alle proprietà distributiva della somma rispetto al prodotto e distributiva del prodotto rispetto alla somma: (Y * Z) = (Y) * (Z) * (Y Z) = (*Y) (*Z) Cominciamo dalla prima, per veriicare la quale possiamo costruire una apposita tabella: Z) Y)*( ( Z Y (Y * Z) Y * Z Z Y Data l uguaglianza tra colonna e la colonna, deduciamo che la proprietà distributiva della somma rispetto al prodotto è veriicata. In modo del tutto analogo, andiamo a veriicare l altra proprietà: Z) Y)*( ( Z Y (Y*Z) Y *Z Z Y nche qui, la colonna e la colonna sono uguali, per cui è veriicata anche la proprietà distributiva del prodotto rispetto la somma. Concludiamo, dopo tale veriica, che l insieme { },*,, rappresenta un algebra booleana. Su questa particolare algebra booleana (che prende anche il nome di algebra di commutazione in conseguenza del atto che ci sono solo simboli nell alabeto) si può deinire anche una terza operazione logica, che si indica con OR ed è descritta dalla seguente tavola di verità: OR

6 ppunti di Elettronica Digitale - Capitolo desso apportiamo una leggera modiica a tale insieme, deinendo in altro modo la tavola di verità della somma logica (in particolare, supponiamo che =): * In questo caso, è acile accorgersi che sono veriicati tutti i postulati dal primo all ottavo, eccezion atta per il settimo. ccertiamo allora che sia eettivamente così. Cominciamo col veriicare la proprietà distributiva della somma rispetto al prodotto: Z) Y)*( ( Z Y (Y*Z) Y *Z Z Y Data l uguaglianza tra colonna e la colonna, deduciamo che la proprietà distributiva della somma rispetto al prodotto è veriicata. Passiamo all altra proprietà: Z) Y)*( ( Z Y (Y*Z) Y *Z Z Y Si nota in questo caso che la e la colonna sono diverse, per cui la proprietà non è veriicata e quindi l insieme considerato non rappresenta un algebra di oole.

7 lgebra booleana TEOREMI FONDMENTLI DELL'LGER OOLEN In base ai postulati di Huntington precedentemente enunciati, è possibile ricavare i seguenti teoremi ondamentali dell'algebra booleana. Teorema - Esiste ed è unico l'elemento "zero" per il quale è veriicata la relazione = Teorema - Esiste ed è unico l'elemento "unità" per il quale è veriicata la relazione * = Teorema - Comunque si prenda un elemento, risulta sempre valida la relazione = Teorema 4 - Comunque si prenda un elemento, risulta sempre valida la relazione * = Teorema - Comunque si prenda un elemento, risulta sempre valida la relazione = Teorema - Comunque si prenda un elemento, risulta sempre valida la relazione * = Teorema - Presi qualsiasi elementi ed Y, risulta sempre valida la relazione ( *Y) = ( teorema di assorbimento) Teorema 8 - Presi qualsiasi elementi e Y, risulta sempre valida la relazione *( Y) = ( teorema dell assorbimento) Teorema 9 - Dato un elemento, è unico il suo complemento ' tale che siano veriicate le relazioni ' = *' = Teorema - Dato un elemento, se si prende il suo complemento ' e si a il complemento di quest'ultimo si trova che ( ')' = (teorema dell involuzione)

8 ppunti di Elettronica Digitale - Capitolo Teorema - Per qualsiasi coppia di elementi ed Y, risulta valida la relazione ( Y )' = '*Y' ( teorema di De Morgan) Teorema - Per qualsiasi coppia di elementi ed Y risulta valida la relazione ( *Y)' = ' Y' ( teorema di De Morgan) N.. Il teorema di De Morgan si può anche generalizzare ad una n-pla qualsiasi di variabili che possono assumere solo valori: si ottiene così il teorema di De Morgan generalizzato, in base al quale risulta [ ( x, x,..., x, ',,*)]' = ( x', x',..., x', _,*, ) n Questo enunciato dice, in pratica, che, per eettuare il complemento di una certa unzione, tutte le variabili vanno sostituite con il proprio complemento, che l operazione complemento va eliminata, che la somma diventa prodotto e che il prodotto diventa somma. n Teorema - Per qualsiasi terna di elementi Y e Z risulta valida la relazione (Y Z) = ( Y) Z (Proprietà associativa della somma logica) Teorema 4 - Per qualsiasi terna di elementi Y e Z risulta valida la relazione *(Y * Z) = ( *Y)* Z (Proprietà associativa del prodotto logico) Un altro teorema di grande importanza nell algebra booleana è il teorema della peretta induzione, in base al quale un dato teorema è vero se risulta veriicato per tutti i possibili valori ( ed ) attribuibili a tutte le variabili coinvolte. In altre parole, se un dato teorema presenta un enunciato in cui sono coinvolte due sole variabili booleane, basta veriicare che tale enunciato risulti vero attribuendo alle due variabili tutte le possibili combinazioni di valori (quindi -, -,- ed -). 8

9 lgebra booleana DEFINIZIONI RIE Si deinisce variabile booleana una grandezza variabile che può assumere solo i valori di un algebra di oole. Se i simboli dell algebra di oole considerata solo, si parla di algebra di commutazione. Nel seguito noi ci rieriremo solo ad algebra di commutazione. Le operazioni deinite in un algebra di oole sono deinite da tabelle di verità, le quali associano ad ogni combinazioni dei due simboli il corrispondente risultato (ovviamente appartenente a sua volta all algebra considerata). La corrispondenza tra operandi e risultato è biunivoca e prende il nome di unzione booleana. Quindi, le tabelle di verità costituiscono una rappresentazione delle unzioni booleane. Ogni unzione booleana è rappresentata da una ed una sola tabella di verità: di conseguenza, se due unzioni booleane sono rappresentate dalla stessa tabella di verità, devono necessariamente coincidere. Detto anche in altro modo, due unzioni sono identiche se hanno la stessa tabella di verità. Date due unzioni booleane, esse possono essere a loro volta combinate (mediante le operazioni booleane, che sono solamente OR, ND e NOT), ottenendo una nuova unzione a sua volta booleana. Consideriamo adesso n variabili booleane, con le quali vogliamo costruire una unzione booleana. Ci chiediamo quante unzioni booleane possiamo costruire con queste n variabili booleane. Consideriamo per esempio n=, per cui vogliamo vedere quante unzioni booleane di variabili booleane esistono. Ci aiutiamo con la seguente tabella: Quando le due variabili valgono entrambe, la tabella di verità non potrà che associare, come valore della unzione, o il valore o il valore, per cui abbiamo possibilità: (,)= oppure (,)=. Quando la prima variabile vale e la seconda, abbiamo 4 possibilità: in corrispondenza di (,)= possiamo prendere o (,)= oppure (,)= e, in modo analogo, in corrispondenza di (,)= possiamo prendere o (,)= oppure (,)=. Proseguendo ino al valore di (,), è ovvio che ci sono in tutto possibilità, per cui concludiamo che con variabili booleane possiamo costruire dierenti unzioni di variabile booleane. D altra parte, non è altro che 4, dove 4 è il numero di combinazioni possibili con bit, ossia. In eetti, sussiste un criterio generale: con n variabili booleane è possibile costruire ( ) n dierenti unzioni di variabile booleane. Per esempio, con n= variabili booleane si possono costruire unzioni, con n=4 si possono costruire unzioni e così via. Si nota, allora, che all aumentare del numero di variabili considerate, il numero di possibili unzioni booleane aumenta enormemente. 9

10 ppunti di Elettronica Digitale - Capitolo FORME CNONICHE Si pone a questo punto un problema: esiste un metodo generale che permetta di individuare l espressione analitica di una qualsiasi unzione booleana (di un numero qualsiasi di variabili booleane) nota che sia solo la sua tabella di verità? Eettivamente, questo metodo generale esiste e si basa sulle cosiddette unzioni canoniche. Esistono due distinte orme canoniche, ciascuna delle quali viene uori dall applicazione di un opportuno teorema; si tratta, in particolare, dei teoremi di Shannon, di cui enunciamo il primo: Teorema - Data una unzione booleana ( x, x,..., ) x n di n variabili booleane, essa può sempre essere espressa nella orma seguente: ( x, x,..., x ) = x * (, x,..., x ) x' * (, x,..., ) n n x n La dimostrazione di questo teorema è immediata se si usa la peretta induzione: basta ar vedere che il primo ed il secondo membro sono uguali sia quando x = sia quando x =. Detto questo, possiamo applicare il teorema, con rierimento questa volta alla variabile x, ai, x,...,, x,..., che compaiono nell enunciato del teorema stesso termini ( ) e ( ) = x n x n ( x, x,..., x n ) = x *[ x * (,,..., x n ) x' * (,,..., x n )] x' * [ x * (,,..., x n ) x' * (,,..., x n )] x *x * (,,..., x ) x * x' * (,,..., x ) x' *x * (,,..., x ) x' *x' * (,,..., x ) n n Possiamo ulteriormente proseguire il discorso per i termini (,,..., x n ), (,,..., x n ), (,,..., x n ) e (,,..., x n ), ovviamente rispetto ad x. Proseguendo in questo modo, si ottiene la unzione ( x, x,..., x n ) sviluppata come somma di n termini, l ultimo dei quali sarà evidentemente x' *x' *...*x' * (,,...,) n. Per semplicità, consideriamo il caso semplice in cui n=: lo sviluppo della unzione risulta dunque composto dalla somma di =8 termini: indicando per semplicità con x,y e z le tre variabili, è acile veriicare che lo sviluppo sia (x, y, z) x * y'*z* (,,) x * y*z'* (,,) x * y*z* (,,) = x'*y'*z'* (,,) x'*y'*z* (,,) x'*y*z'* (,,) x'*y*z* (,,) x * y'*z'* (,,) In questo sviluppo si nota una cosa molto interessante: in ciascun termine dello sviluppo, ogni variabile viene complementata solo quando il valore di tale variazione in cui la unzione viene calcolata è. Per esempio, nel termine x '*y'*z'* (,,), la unzione è calcolata usando per tutte e tre le variabili il valore, per cui la unzione viene successivamente moltiplicata per tutte e tre le variabili complementate. Nel termine x * y*z'* (,,), invece, solo la variabile z vale come argomento di, per cui è l unica che va complementata nel prodotto. I termini per cui la unzione viene moltiplicata all interno dello sviluppo prendono il nome di mintermini: si tratta cioè dei termini x '*y'*z', x'*y'*z, x'*y*z', x'*y*z, x * y'*z', x * y'*z, x * y*z', x * y*z Si osserva allora un altra cosa: essendo una variabile booleana, può assumere solo i valori ed ; se vale, il termine corrispondente, nello sviluppo, scompare, mentre se vale, rimane solo il corrispondente mintermine. In deinitiva, quindi, lo sviluppo di (x,y,z) è composto dalla somma dei soli mintermini cui corrisponde un valore unitario di stessa. d esempio, supponiamo che la tabella di verità della unzione sia la seguente: n n =

11 lgebra booleana Y Z (, Y, Z) // // x'*y *z' x'*y *z x * y'*z' // // x * y *z asta individuare le combinazioni di,y,z in corrispondenza delle quali (,Y,Z)=; si considerano quindi in corrispondenti mintermini e se ne a la somma: nell esempio considerato, possiamo dunque concludere che l espressione analitica della unzione è (x, y, z) = x'*y*z' x'*y*z x * y'*z' x * y*z In altre parole ancora, la unzione risulta espressa dalla somma dei mintermini corrispondenti a combinazioni di,y,z tali che (,Y,Z)=. Così acendo, ad ogni unzione viene associato uno ed un solo sviluppo di mintermini, ottenendo la prima orma canonica (detta anche orma normale disgiuntiva) della unzione considerata. Essa è caratterizzata dunque dal atto che è data dalla somma di un certo numero di prodotti. Esiste anche una seconda orma canonica, che si basa sul secondo teorema di Shannon: questo teorema è del tutto duale rispetto al primo, per cui, anziché ornirne l enunciato, analizziamo direttamente le conseguenze. In modo analogo alla prima orma canonica, si considera sempre la tabella di verità della unzione assegnata: Y Z (, Y, Z) x y z x y z' // // // x' y z' x' y' z nziché considerare le combinazioni di,y,z in corrispondenza della quali (,Y,Z)=, si considerano questa volta quelle in corrispondenza delle quali (,Y,Z)=. queste combinazioni, si associano i cosiddetti maxtermini, corrispondenti a somme delle variabili,y,z (eventualmente complementate se corrispondente valore in cui la unzione viene calcolata è ). Questi maxtermini vanno quindi moltiplicati tra di loro. Nell esempio considerato, lo sviluppo risulta quindi essere il seguente: ( x y z) *( x y z' )*( x' y z' )*( x' y' z) (, Y, Z) = //

12 ppunti di Elettronica Digitale - Capitolo La unzione considerata risulta dunque espressa dal prodotto dei maxtermini corrispondenti a combinazioni di,y,z tali che (,Y,Z)=. Così acendo, ad ogni unzione viene associato uno ed un solo sviluppo di maxtermini, ottenendo la seconda orma canonica (detta anche orma normale congiuntiva) della unzione considerata. Essa è caratterizzata dal atto che è data dal prodotto di un certo numero di somme. Ci sono da are alcune importanti osservazioni circa le orme canoniche appena introdotte: in primo luogo, come abbiamo già sottolineato, ad ogni unzione booleana è associata una ed una sola orma normale disgiuntiva (somma di mintermini) ed una ed una sola orma normale congiuntiva (prodotto di maxtermini) e tali due orme canoniche esistono sempre, per qualsiasi unzione booleana; in secondo luogo, una orma canonica (disgiuntiva o congiuntiva che sia) può essere talvolta sempliicata utilizzando i teoremi ed i postulati dell algebra booleana: si ottengono, in tal modo, a partire da tale orma canoniche, una o più orme ridotte, tutte equivalenti tra di loro ed equivalenti anche alla orma canonica di partenza; ovviamente, non è detto che una orma canonica sia sempliicabile: in questo caso, si parla di orma minima; in modo analogo, data una orma canonica che è sempliicabile, una volta atte tutte le possibili sempliicazioni si giunge ad una espressione della unzione considerata che è ancora chiamata orma minima. In altre parole, la orma minima di una unzione booleana è la più semplice espressione analitica che si può dare della unzione stessa: non necessariamente si tratta della orma canonica (disgiuntiva o congiuntiva) della unzione considerata, ma sarà comunque equivalente ad essa; inine, come sarà più chiaro tra poco, la scelta di una o di un altra rappresentazione analitica della unzione booleana considerata va atta in base all implementazione circuitale con cui la si realizza isicamente: generalmente, si sceglie la orma più semplice da realizzare circuitalmente (e quindi sarà una orma minima), ma a volte le esigenze sono anche altre. PORTE LOGICHE Si deiniscono porte logiche (o anche circuiti digitali) dei circuiti aventi n ingressi booleani (che cioè possono assumere solo due possibili valori) ed una sola uscita anch essa booleana, che corrisponde ad una certa combinazione degli ingressi. Sia gli ingressi sia l uscita di una porta logica non sono altro, quindi, che tensioni che possono assumere solo due possibili valori, che indichiamo con H (valore alto) e con L (valore basso), ben separati tra di loro. In modo analogo, anche l uscita può assumere solo i valori H e L. vendo n tensioni di ingresso, ci sono n possibili combinazioni dell ingresso, a ciascuna delle quali l uscita deve associare o H o L. Si tratta, perciò, di una classica unzione booleana che, come tale, può essere rappresentata mediante una tavola della verità. Le porte logiche sono realizzate operando una opportuna combinazione di porte logiche ondamentali, rappresentate dalle seguenti tabelle della verità: L L H H L H L H U L H H H L L H H L H L H U L L L H L H U H L

13 lgebra booleana E ovvio che, per relazionare questi circuiti alle operazioni booleane, dobbiamo necessariamente stabilire una corrispondenza tra le tensioni H e L ed i valori e dell algebra booleana (di commutazione, visto che sono solo due i valori possibili). Ci sono allora due possibilità: logica positiva L H logica negativa L L Se il valore basso di tensione viene associato al simbolo logico, si parla di logica positiva, mentre in caso contrario si parla di logica negativa. E bene osservare che, da un punto di vista isico, le due tensioni L e H sono sempre tali che L < H : esse possono essere entrambe positive, entrambe negative (nel qual caso > ) oppure una positiva ed una negativa (nel qual caso L < e H >). Tornando adesso alle porte logiche ondamentali prima descritte, vediamo a cosa corrispondono sia in logica positiva sia in logica negativa. Cominciamo dalla porta logica ondamentale: L H logica positiva U logica negativa U E evidente che, sia in logica positiva sia in logica negativa, questa porta logica corrisponde all operazione booleana di complemento. Si parla allora di porta NOT o anche semplicemente di inverter. Il simbolo con cui rappresentiamo questa porta nello schema logico di un circuito digitale è il seguente: Passiamo adesso alla prima porta logica ondamentale: logica positiva U logica positiva U Le cose cambiano rispetto a prima: inatti, si osserva che in logica positiva abbiamo l operazione di somma booleana (OR), mentre invece in logica negativa abbiamo l operazione di prodotto booleano (ND). In entrambi i casi, la porta prende il nome di porta OR: in logica positiva essa esegue la somma logica, mentre invece in logica negativa essa esegue il prodotto logico. Questa ambiguità non può che essere risolta a monte, nel senso che deve essere il costruttore a speciicare che tipo di logica sia stata utilizzata.

14 ppunti di Elettronica Digitale - Capitolo Per quanto ci riguarda, d ora in poi noi useremo (salvo diverso avviso) la logica positiva, per cui una porta OR sarà sempre un circuito che esegue la somma booleana. Il simbolo con cui rappresentiamo questa porta logica è il seguente: U Passiamo inine all ultima porta logica ondamentale: U U logica positiva logica negativa nche in questo caso, la porta esegue due operazioni booleane diverse a seconda della logica utilizzata: in logica positiva, viene evidentemente eseguito il prodotto logico. Parleremo in ogni caso di porta ND e la rappresenteremo nel modo seguente: U Una osservazione importante è quella per cui nei simboli delle porte logiche appena citate non vengono mai indicati i terminali dell alimentazione né i terminali collegati a massa. Questo serve, ove possibile, a sempliicare gli schemi logici dei circuiti. Esempio Una volta introdotte le porte logiche, vediamo come esse vengono utilizzate per l implementazione delle unzioni booleane. Cominciamo da un semplice esempio, costituito dalla seguente unzione: = C D E Si tratta di una semplice unzione booleana di variabili (quindi ingressi), di cui viene atta la somma logica (OR). Il modo più semplice di procedere, per l implementazione concreta di questa unzione, è quello di riscriverla in modo più opportuno: inatti, applicando la proprietà associativa della somma logica, possiamo scrivere che {[ ( ) C] D} E = 4

15 lgebra booleana bbiamo in tal modo separato 4 distinte operazioni di somma logica, che quindi possono essere realizzate mediante 4 porte logiche OR poste in cascata, come nella igura seguente: C ()C D (C)D E CDE Nel realizzare un circuito in questo modo si presentano alcuni inconvenienti: il principale è legato al ritardo di propagazione dei segnali elettrici da una porta all altra. Per ovviare a questi inconvenienti, vengono realizzate delle particolari porte OR, aventi più di ingressi e capaci quindi di realizzare la somma logica di più variabili. Per esempio, per realizzare la unzione appena descritta, servirebbe una porta OR con ingressi. Osservazione: sistemi unzionalmente completi bbiamo detto prima che le tre porte logiche ondamentali (OR,ND,NOT) consentono di implementare una qualsiasi unzione logica, comunque complessa: si dice allora che tali porte logiche ondamentali costituiscono un sistema unzionalmente completo. Esistono tuttavia altri sistemi unzionalmente completi: sono di particolare importanza quelli costituiti da sola porta logica ondamentale. Per esaminare questi particolari sistemi unzionalmente completi, dobbiamo premettere alcuni concetti. FUNZIONI OOLENE DI RIILI OOLENE ogliamo adesso descrivere, con suiciente dettaglio, tutte le possibili unzioni booleane di variabili booleane. bbiamo già avuto modo di dire che tali unzioni sono in tutto. Per studiare queste unzioni, partiamo dalle loro tavole della verità, che si possono ricavare acilmente con il metodo seguente: costruiamo una tabella di colonne, ciascuna corrispondente ad una delle unzioni booleane di variabili (che indichiamo con e ): Le possibili combinazioni di valori di e sono 4, per cui ogni unzione deve associare dei propri valori a queste 4 combinazioni. Cominciamo allora a riempire l ultima riga della tabella, sistemando il valore nelle prime 8 colonne ed il valore nelle restanti 8 colonne:

16 ppunti di Elettronica Digitale - Capitolo Passando alla penultima riga, sistemiamo prima quattro, poi quattro, poi ancora quattro e inine quattro. In modo analogo, nella seconda riga sistemiamo prima due, poi due, poi ancora due e così via ino alle ultime due colonne. Inine, riempiano la prima riga alternativamente con ed, partendo dal valore nella prima colonna: E immediato accorgersi che le combinazioni così ottenute sono tutte diverse tra di loro, per cui siamo certi di aver descritto le tavole di verità di tutte e sole le unzioni booleane di variabili booleane. l ine di identiicare ciascuna di queste unzioni, possiamo indicarle con il simbolo k, dove il pedice k, associato alla k unzione, corrisponde al valore decimale dell uscita della unzione stessa, letta dal basso verso l alto: decimale lettura Fatto questo, vogliamo descrivere alcune particolari proprietà di questa tabella. La proprietà più importante è la seguente: consideriamo una generica unzione, ad esempio, e cerchiamo l altra unzione (sarà unica) la cui tabella della verità sia il complemento ad di quella di. Osservando la tabella, si trova che questa unzione è : la particolarità è nel atto che i pedici ( e ) che individuano queste unzioni sono l uno il complemento a dell altro. Si tratta di una proprietà generale, acilmente veriicabile per tutte le altre unzioni: possiamo allora esprimerla simbolicamente nel modo seguente:,,..., k ' k k = = ediamo adesso di individuare alcune particolari unzioni presenti nella tabella e, in particolare, vogliamo determinarne le espressioni analitiche.

17 lgebra booleana Sono evidentemente particolari le unzioni poste agli estremi della tabella: inatti, è uguale a per qualsiasi combinazione degli ingressi, mentre è identicamente uguale ad per qualsiasi combinazione degli ingressi: = =,, Riconosciamo inoltre nelle unzioni 4 ed 8 le operazioni, rispettivamente, di somma logica (unzione OR) e di prodotto logico (unzione ND): 8 4 = * = E stato in questo caso immediato trovare le espressioni analitiche di queste due unzioni. C è anche da osservare che esse non sono espresse né in orma normale disgiuntiva (somma di mintermini) né in orma normale congiuntiva (prodotto di mintermini). Se adesso applichiamo a queste unzioni la proprietà prima evidenziata, abbiamo quanto segue: = ' = ' 8 4 = = teorema di De Morgan ( * )' = ' ' teorema di De Morgan ( )' = '*' bbiamo dunque acilmente trovato le espressioni analitiche di altre due unzioni, con la dierenza che esse risultano espresse come orme canoniche: è inatti rappresentata mediante un maxtermine, mentre è rappresentata mediante un mintermine. Essendo il complemento del risultato di un OR tra due ingressi, la unzione è detta unzione NOR, mentre, in modo analogo, la unzione è detta unzione NND, in quanto complementa il risultato di una NND. Le appena elencate sono le uniche unzioni di cui sia così immediata la ricerca dell espressione analitica. Per le rimanenti unzioni dobbiamo invece adottare il criterio delle orme canoniche precedentemente descritto. Cominciamo ad esempio dalla unzione : nella sua tabella della verità compare un solo (in corrispondenza di = e =), per cui possiamo utilizzare il corrispondente mintermine, in modo da scrivere che = '* Ovviamente, utilizzando ancora una volta la proprietà dei complementi, possiamo acilmente trovare l espressione di : = ' = ' E chiaro che questo è l unico maxtermine della unzione, che inatti presenta un solo (sempre in corrispondenza di = e = e non potrebbe essere altrimenti dato il teorema di dualità). Passiamo adesso alla unzione : nella sua tabella della verità compaiono due e due, per cui è indierente usare i mintermini o i maxtermini: usando ancora una volta i mintermini, è evidente che ( '*' ) ( '*) = Utilizzando la proprietà dei complementi, possiamo poi trovare l espressione di : = ' = ( ) *( ' )

18 ppunti di Elettronica Digitale - Capitolo bbiamo dunque espressione e con le rispettive orme canoniche. Tuttavia, questo è un tipico caso in cui possiamo are anche qualcosa in più: inatti, considerando l espressione di, possiamo mettere in evidenza il termine, per cui = '* ' ( ) Ricordando adesso che, in base ad uno dei teoremi dell algebra booleana risulta =, possiamo concludere che = ' = ' = bbiamo cioè trovato una orma ridotta per e conseguentemente una orma ridotta per. Non solo, ma queste orme ridotte sono anche orme minime, visto che non è possibile sempliicarle ulteriormente. La dierenza tra la orma canonica = ( '*' ) ( '*) e la orma minima = ' è evidentemente nel numero di porte logiche necessario alla implementazione pratica: la orma canonica richiede porte NOT, due porte ND ed una porta OR, mentre invece la orma minima richiede solo una porta NOT. Da qui si deduce l importanza di sempliicare il più possibile l espressione analitica (sia essa in orma canonica o meno) della unzione considerata al ine di arrivare alla orma minima della stessa unzione. Questo è ancora più evidente per la unzione : per realizzare la orma canonica = ( ) *( ' ) servirebbero porta NOT, due porte OR ed una porta ND; al contrario, per realizzare la orma minima = basta semplicemente prelevare il valore di, per cui non serve neanche una porta logica. Proseguendo nell analisi delle unzioni booleane della tabella prima costruita, consideriamo la unzione : questa unzione è particolarmente importante in quanto, come si deduce dalla sua tabella di verità, non a altro che conrontare gli ingressi: se gli ingressi sono uguali, ornisce in uscita, mentre se sono diversi ornisce in uscita. Per questo motivo, è detta unzione EOR e si indica generalmente nel modo seguente: = Per quanto riguarda l espressione analitica, la unzione presenta due e due nella propria tabella di verità, per cui è indierente ragionare con i mintermini o con i maxtermini; considerando i mintermini, otteniamo la orma canonica = '* *' ( ) ( ) In questo caso, la orma canonica è anche minima, in quanto non è possibile sempliicarla ulteriormente. Utilizzando la proprietà dei complementi, possiamo poi trovare l espressione di 9 : = ' = ( ' )*( ' ) 9 nche in questo caso (e non poteva essere altrimenti data sempre la dualità), la orma canonica (che in questo caso è congiuntiva, visto che a rierimento ai maxtermini) è una orma minima. Questa unzione è detta unzione ENOR in quanto ornisce in uscita il valore se gli ingressi sono uguali e il valore in caso contrario: si indica generalmente come complemento della unzione EOR, ossia 9 = ( )' 8

19 lgebra booleana Facciamo inoltre osservare che potevamo anche esprimere come prodotto di maxtermini e 9 come somma di mintermini: ( ) *( ' ' ) = ' = ( '*' ) ( *) = 9 Passiamo adesso alla unzione : sviluppandola mediante i mintermini, otteniamo ( '*' ) ( *') = Possiamo anche sempliicare questa orma canonica, al ine di giungere ad una orma minima: ( ' ) *' = *' ' = = Osserviamo dunque che l azione della unzione è quello di riportare il complemento del secondo ingresso. pplicando la proprietà dei complementi, possiamo immediatamente esprimere la : = ' = L azione della unzione è evidentemente quello di riportare in uscita direttamente il valore del secondo ingresso. Consideriamo adesso la unzione 4 : essa presenta il valore in un solo caso, per cui, considerando il corrispondente mintermine, otteniamo 4 = *' pplicando la proprietà dei complementi, otteniamo anche l ultima unzione, ossia : 4 = ' = ' Funzioni NND e NOR questo punto, ricollegandoci a quanto detto nel paragrao precedente, vogliamo mostrare che esistono, tra quelle appena enunciate, delle unzioni (e quindi delle corrispondenti porte logiche) che, da sole, costituiscono dei sistemi unzionalmente completi, ossia consentono di implementare una qualsiasi unzione booleana. Le unzioni cui siamo interessati sono la unzione NOR (o anche ) e la unzione NND (o anche ). Per dimostrare che ciascuna di queste unzioni costituisce un sistema unzionalmente completo, basta dimostrare che con ciascuna di esse è possibile implementare le operazioni booleane ondamentali (NOT, OR e ND), le quali costituiscono a loro volte un sistema unzionalmente completo. Cominciamo dalla unzione NND, che viene convenzionalmente rappresentata negli schemi logici nel modo seguente: U 9

20 ppunti di Elettronica Digitale - Capitolo Questo simbolo è assolutamente analogo a quello di una porta ND, con in più un pallino prima dell uscita, che sta ad indicare che, una volta eettuato l ND degli ingressi, ne viene eettuato il complemento. E immediato ar vedere che una porta NND può essere usata per eseguire l operazione NOT, ossia per ottenere il complemento dell ingresso: inatti, ricordando che = ( *)', basta porre = per ottenere che ( * )' ' (, ) = = Quindi, se mandiamo il valore su entrambi gli ingressi della porta NND, otteniamo in uscita proprio il complemento di : ' desso vediamo come è possibile realizzare l operazione ND: possiamo scrivere, applicando il teorema di De Morgan, che * = [( *)']' In base a questa espressione, se acciamo prima la NND di e e poi eseguiamo il complemento del risultato, otteniamo proprio l ND di e. Lo schema logico da adottare è dunque il seguente: * Inine, vediamo come è possibile realizzare l operazione OR: applicando nuovamente il teorema di De Morgan, abbiamo che = ( '*' )' In base a questa espressione, se acciamo la NND di e otteniamo proprio l OR di e. Lo schema logico da adottare è dunque il seguente: ' ' Se la porta NND può essere usata per realizzare le operazioni NOT, OR e ND, le quali a loro volta bastano per realizzare tutte le operazioni booleane, deduciamo che la porta NND basta, da sola, per realizzare tutte le operazioni booleane, come volevamo dimostrare.

21 lgebra booleana Il discorso è del tutto analogo per la porta NOR, che si rappresenta negli schemi logici nel modo seguente: U Questo simbolo è assolutamente analogo a quello di una porta OR, con in più il pallino prima dell uscita, che sta ad indicare che, una volta eettuato l OR degli ingressi, ne viene eettuato il complemento. Così come per la porta NND, anche la porta NOR eettua il complemento di un valore se esso viene mandato ad entrambi gli ingressi della porta: inatti, ricordando che la unzione ha espressione analitica = ( )', se poniamo = otteniamo ( )' ' (, ) = = Quindi, se mandiamo il valore su entrambi gli ingressi della porta NOR, otteniamo in uscita proprio il complemento di : ' Per quanto riguarda, invece, l operazione OR, possiamo scrivere che [( )']' = In base a questa espressione, se acciamo prima la NOR di e e poi eseguiamo il complemento del risultato, otteniamo proprio l OR di e. Lo schema logico da adottare è dunque il seguente: Inine, per realizzare l operazione ND basta considerare che * = ( ' ' )' In base a questa espressione, se acciamo la NOR di e otteniamo proprio l OR di e. Lo schema logico da adottare è dunque il seguente:

22 ppunti di Elettronica Digitale - Capitolo ' * ' nche la porta NOR costituisce dunque un sistema unzionalmente completo. Facciamo osservare che, per questioni di comodità di rappresentazione, il circuito usato per realizzare l OR mediante porte NND e quello usato per realizzare l ND mediante porte NOR vengono spesso rappresentati dai seguenti simboli: * I pallini sui due ingressi stanno a rappresentare che l operazione compiuta dalla porta viene eseguita sui complementi dei due ingressi. Funzione EOR e ENOR Un altro sistema unzionalmente completo è quello costituito dalle unzioni EOR ( ) e ND ( 8 ). Per renderci conto di questo, studiamo le principali proprietà della unzione EOR, ricordando subito l espressione analitica di tale unzione: ( '*) ( *' ) = = In pratica, la unzione restituisce in uscita se gi ingressi sono uguali oppure in caso contrario. E molto acile dimostrare che la unzione EOR gode delle proprietà commutativa, associativa e distributiva (rispetto al prodotto logico): per quanto riguarda la proprietà commutativa, deriva dalla commutatività della unzione OR: = = ( '*) ( *') = ( *') ( '*) = per quanto riguarda la proprietà associativa, la si dimostra con la peretta induzione: nel caso di ingressi, essa aerma che C = ( ) ( ) C e può chiaramente essere estesa ad un numero generico di ingressi; inine, la proprietà distributiva rispetto al prodotto logico aerma quanto segue: * ( C) = ( *) ( *C)

23 lgebra booleana La dimostrazione di questa proprietà, eseguita con la peretta induzione, è la seguente: C C *( C) * *C ( *) ( *C) Data l uguaglianza tra la e l ultima colonna, la proprietà è chiaramente dimostrata. ltre due proprietà importanti sono le seguenti: = = ( *) ( '*) = ( *) ( '*) = ' In base a queste proprietà, l EOR di una variabile booleana con coincide con la variabile stessa, mentre l EOR con coincide con il complemento della variabile. Queste due proprietà vengono sruttate per realizzare una particolare porta logica, che prende il nome di NOT controllato (o inverter controllato): La porta è una porta NND la cui uscita dipende dal valore dell ingresso : quando =, la porta esegue l EOR di con e quindi ornisce, mentre invece, quando =, l uscita è, in base alle considerazioni di prima. In altre parole, il valore di consente di ottenere da questa porta sia un inverter sia semplicemente un inseguitore. Porte controllate con questa sono di particolare importanza in molti circuiti digitali, dei quali parleremo in seguito. Ci sono ancora altre 4 proprietà importanti della unzione EOR, tutte dimostrabili con la peretta induzione: Z = Y Se Z = Y Y Z = Y Z = Y *Y = Y L ultima di queste proprietà spiega in pratica come è possibile realizzare la unzione OR utilizzando due porte EOR ed una porta ND. questo punto, quindi, si capisce il motivo per cui le porte EOR e ND costituiscono un sistema unzionalmente completo (detto sistema REED-MULLER): abbiamo inatti visto prima come si

24 ppunti di Elettronica Digitale - Capitolo realizza il NOT mediante una porta EOR, la unzione ND è già presente e l ultima proprietà enunciata mostra come è possibile realizzare la unzione OR. d esempio, in base alla proprietà Y *Y = Y, lo schema logico per eseguire l OR di due ingressi è il seguente: Osservazione bbiamo visto in precedenza che sia la unzione NND sia la unzione NOR costituiscono, da sole, due sistemi unzionalmente completi, per cui possono essere usate per implementare una qualsiasi unzione booleana. l ine di capire, con discreta rapidità, come poter esprimere una generica unzione booleana come combinazioni di sole unzioni NND o di sole unzioni NOR, è necessario are un richiamo sulle orme canoniche delle unzioni booleane. In particolare, per rappresentare in modo sintetico una unzione espressa con la orma normale disgiuntiva (somma di mintermini) o con quella normale congiuntiva (prodotto di maxtermini), è possibile attribuire a ciascun mintermine o a ciascun maxtermine un numero che lo identiichi in modo univoco. Facciamo un esempio concreto, rierendoci in particolare ad una unzione di variabili booleane (indicate con,y, e Z) avente la seguente tabella della verità: Y Z (, Y, Z) Questa unzione presenta evidentemente il valore in corrispondenza di diverse combinazioni delle variabili di ingresso, per cui è rappresentabile come somma dei corrispondenti mintermini. Per individuare gli 8 possibili mintermini di questa unzione, possiamo associare a ciascuno di essi un numero dato dal valore decimale della corrispondente combinazione delle variabili di ingresso, come indicato nella tabella seguente: 4

25 lgebra booleana Y Z (, Y, Z) mintermine mintermine mintermine mintermine mintermine 4 mintermine mintermine mintermine Deduciamo, dunque, che la unzione considerata è data dalla somma dei mintermini numero, e, per cui possiamo esprimere sinteticamente la nostra unzione nel modo seguente: (, Y, Z) = (,,) In modo assolutamente analogo possiamo procedere per la orma canonica congiuntiva, in quanto anche i maxtermini possono essere numerati così come i mintermini: Y Z (, Y, Z) maxtermine maxtermine maxtermine maxtermine maxtermine 4 maxtermine maxtermine maxtermine Ricordando che i maxtermini da considerare sono quelli in corrispondenza dei quali la unzione assume valore, abbiamo che (, Y, Z) = (,,,4, ) Osserviamo, inine, che il numero totale di mintermini (o di maxtermini) è pari al numero di combinazioni possibili per le variabili di ingresso, ossia è pari a n, dove n sono gli ingressi. Le due rappresentazioni (equivalenti) così ottenute per la generica unzione sono di aiuto per rappresentare tale unzione o in termini di sole porte NND o in termini di sole porte NOR. Consideriamo, ad esempio, una generica unzione booleana di n variabili booleane: ( x, x,..., x n ) e supponiamo che il suo sviluppo come somma di mintermini sia il seguente: ( x, x,..., x ) = a b c... n Quelli indicati con a,b,c sono appunti generici mintermini della unzione.

26 ppunti di Elettronica Digitale - Capitolo pplicando il teorema dell involuzione, possiamo esprimere la unzione nel modo seguente: ( x, x,..., x ) = [ '( x, x,..., x )]' = [( a b c...)']' = [ a' b' c'...]' n n Ricordando che i mintermini sono prodotto di variabili booleane, è evidente che le quantità a, b, c e così via rappresentano delle unzioni NND applicate agli ingressi (alcuni complementari ed altri no); non solo, ma di queste quantità viene anche eettuata una NND (cioè ne viene atto il prodotto e poi viene complementato il risultato), per cui deduciamo che la unzione è stata così espressa in termini solo di operazioni NND. Facciamo un esempio concreto: consideriamo una unzione booleana di variabili booleane avente la seguente orma canonica disgiuntiva: (, Y, Z) (,,) = '*Y'*Z '*Y *Z *Y'* Z = pplicando il teorema dell involuzione, otteniamo la unzione espressa nel modo seguente: (, Y, Z) = [( '*Y'*Z )'*( '*Y*Z )' ( *Y'*Z )']' bbiamo dunque la NND di tre attori: il attore ( '*Y'*Z)' è la NND delle variabili,y e Z; il attore ( '*Y *Z)' è la NND delle variabili,y e Z ed il attore ( *Y'*Z)' è la NND delle variabili,y e Z. Considerando che anche il complemento è ottenibile (nel modo già visto) mediante una porta NND, concludiamo che possiamo implementare la unzione considerata in termini di sole porte NND. ESEMPIO Consideriamo la seguente unzione T, espressa nella prima orma canonica: T = (,4,,,,,) ogliamo trovarne l espressione analitica e, se possibile, vogliamo anche trovarne una orma minima. In primo luogo, dobbiamo sapere quante sono le variabili coinvolte nella unzione, o, in altre parole, quanti sono gli ingressi. Dato che non ci sono speciiche implicazioni, possiamo ritenere che gli ingressi siano solo 4: inatti, con 4 variabili di ingresso, il numero massimo di mintermini è (numerati da a ), per cui sono compresi tutti i mintermini indicati nell espressione di partenza. ndiamo allora a considerare i mintermini indicati nell espressione, utilizzando la tavola della verità della unzione e indicando con a,b,c e d le variabili di cui T è unzione:

27 lgebra booleana n mintermine) 4 a b c d T mintermine a' b' cd a' bc' d' a' bc' d a' bcd' a' bcd ab' cd abcd Nella tabella abbiamo ovviamente considerato solo i mintermini indicati nell espressione T = (,4,,,,,), ossia i mintermini corrispondenti a tutte e sole le combinazioni degli ingressi in corrispondenza delle quali la unzione T vale. Facendo dunque la somma di tali mintermini, otteniamo l espressione analitica della unzione secondo la prima orma canonica: ( a' b' cd) ( a' bc' d' ) ( a' bc'd) ( a' bcd' ) ( a' bcd) ( ab'cd) ( abcd) T (a, b,c,d) = olendo rappresentare questa espressione mediante uno schema logico, possiamo utilizzare una rappresentazione schematica del tipo seguente: l uscita dello schema è, in pratica, una OR dei singoli mintermini, che sono in numero di, per cui possiamo utilizzare appunto in uscita una porta OR dotata di ingressi (e ovviamente di una sola uscita). Per quanto riguarda tali ingressi, essi rappresentano, ciascuno, l uscita di una porta ND a 4 ingressi, che sono appunto le 4 variabili di ingresso, alcune complementate ed altre no. bbiamo dunque una tipica realizzazione a livelli, dove ogni livello raccoglie porte tutte dello stesso tipo: nel nostro caso, il primo livello è costituito da porte ND a 4 ingressi, mentre il secondo livello è costituito da porta OR a ingressi. Costo di una unzione booleana Sulla base dell espressione analitica di una unzione booleana, è possibile deinire il costo della unzione stessa, legato allo schema logico corrispondente all espressione considerata: il costo di una unzione booleana è la somma di due contributi, uno (che indicheremo con C L ) pari al numero di variabili prelevate dall ingresso e l altro (che indicheremo con C T ) pari al numero di porte in ingresso aventi più di un ingresso. In ormule, abbiamo cioè che C = C C unzione Per capire il signiicato di questa deinizione, consideriamo l espressione di T prima ricavata (e lo schema logico corrispondente): ( a' b'cd) ( a' bc' d' ) ( a' bc'd) ( a' bcd' ) ( a' bcd) ( ab'cd) ( abcd) T = Il costo di questa unzione è 8=, dove 8(=4*) sono il numero di variabili prelevate dall ingresso, ossia il numero di variabili presenti nei singoli termini da cui è composta l espressione, mentre è il numero di porte di ingresso con più di un ingresso, ossia il numero di termini, nell espressione analitica, ormati da più di una variabile. L T

28 ppunti di Elettronica Digitale - Capitolo Una cosa interessante è la seguente: ogni mintermine che compare nell espressione di T vale in corrispondenza di una sola combinazione degli ingressi ed è ovvio che, in corrispondenza di questa stessa combinazione, tutti gli altri mintermini valgono. Questo deriva semplicemente dalla deinizione di prima orma canonica, in base alla quale i mintermini sono tanti quante sono le combinazioni di ingresso in corrispondenza delle quali la unzione vale. questo punto, ci chiediamo se è possibile sempliicare l espressione della unzione ottenuta poco a, al ine evidentemente di sempliicare anche la corrispondente implementazione pratica. tal ine, l unico strumento (per ora) a nostra disposizione consiste nell applicare i teoremi ondamentali dell algebra booleana. Per esempio, si osserva, nell espressione di T, che ci sono alcune coppie di mintermini che dieriscono solo per una variabile: a' b' cd ab' cd ( ) ( ) ( a' bcd' ) ( a' bcd) ( a' bc' d' ) ( a' bc' d) Se allora mettiamo in evidenza le variabili comuni, applicando la proprietà distributiva del prodotto rispetto alla somma, abbiamo quanto segue: ( a' b' cd) ( ab' cd) = ( a' a) b' cd ( a' bcd' ) ( a' bcd) = ( d' d) a' bc ( a' bc' d' ) ( a' bc' d) = ( d' d) a' bc' questo punto, sappiamo che la somma di una variabile con la sua complessa coniugata vale, per cui possiamo scrivere che a' b' cd ab' cd = a' a b' cd = b' cd ( ) ( ) ( ) ( a' bcd' ) ( a' bcd) = ( d' d) a' bc = a' bc ( a' bc' d' ) ( a' bc' d) = ( d' d) a' bc' = a' bc' per cui, tornando nell espressione di T, abbiamo quanto segue: T (a, b,c,d) = b' cd a' bc a' bc' 8 ( abcd) E evidente che abbiamo eettuato una notevole sempliicazione, pervenendo ad una espressione di T che non è più una orma canonica. Il costo di questa nuova espressione della unzione T è 4=, dove sono le variabili coinvolte e 4 i termini in cui compare più di una variabile. Rispetto al costo di trovato per la orma canonica, la sempliicazione è evidente. Possiamo are ancora un altra cosa al ine di eliminare l unico mintermine rimasto: inatti, se torniamo all espressione completa di T come prima orma canonica, osserviamo che il mintermine (abcd) ha in comune variabili con il mintermine precedente (ab cd) che noi abbiamo successivamente sempliicato. llora, prima di sempliicare tale mintermine, nessuno ci impedisce di duplicarlo, ossia di scriverlo volte nell espressione di T: inatti, per una nota proprietà, la somma di una variabile booleana con se stessa è ancora la variabile booleana stessa, per cui l espressione di T non cambia. Fatto questo passo iniziale, possiamo eettuare la stessa sempliicazione atta prima e possiamo inoltre scrivere che a ' bcd abcd = a a' bcd = ( ) ( ) ( ) bcd