AlgebraDiBoole1 PDF

Algebra Booleana 1
ALGEBRA BOOLEANA:
VARIABILI E FUNZIONI
LOGICHE
Andrea Bobbio
Anno Accademico 2000-2001
Algebra Booleana 2
Calcolatore come rete logica
Il calcolatore può essere visto come una rete logica cioè come
un insieme di dispositivi chiamati porte logiche opportunamente
connessi.
Le porte logiche sono dispositivi capaci di eseguire operazioni

logiche su segnali binari.
I segnali binari sono livelli di tensione.
Il valore esatto della tensione del segnale non è significativo: conta

l’appartenenza ad un livello contrassegnato alto e ad un livello
contrassegnato basso.
Questi livelli sono identificati tramite una coppia di simboli:

0 1
Low High
False True
Open Close
Algebra Booleana 3
Algebra Booleana
Le tecniche di composizione delle porte logiche in una rete sono

derivate da una particolare algebra operante su variabili binarie e
chiamata Algebra Booleana (o Switching Algebra).
L’algebra Booleana prende il nome dal matematico inglese George

Boole (1815-1864) autore del testo The mathematical analysis of
logic.
A lui è legato lo sviluppo della logica simbolica e degli operatori

binari. Nel 1938 Shannon ha dimostrato come l’algebra booleana
potesse essere presa a fondamento per la progettazione di circuiti
logici digitali.
Algebra Booleana 4
Elementi dell’Algebra Booleana
Vengono definiti i seguenti concetti:
¦ variabili booleane
¦ operatori booleani
¦ funzioni booleane
¦ porte logiche
¦ circuiti logici
- combinatori
- sequenziali
Algebra Booleana 5
Variabili Booleane
Una variabile booleana è una variabile binaria che può assumere

esclusivamente due valori logici che saranno denotati con 0 e 1.
Se x è una variabile booleana, vale quindi la seguente definizione

formale:
x=0 se x 6= 1
x=1 se x 6= 0
Algebra Booleana 6
Operatori Booleani
Si definiscono gli operatori booleani o logici fondamentali:
NOT Negazione Logica

AND Prodotto Logico
OR Somma Logica
Algebra Booleana 7
Negazione o Complementazione
Definizione informale
Trattasi di una operazione unaria che restituisce il valore logico

opposto a quello della variabile di ingresso.
Rappresentazione come operatore
Per rappresentare il complemento di una variabile x vengono usate

varie notazioni. Fra le più comunemente usate ricordiamo:
not(x)
x
x0
−x
Algebra Booleana 8
Negazione o Complementazione / 2
Rappresentazione dell’operazione not(x) con la tavola della verità:
x not(x)
0 1
1 0
Proprietà
not(not(x)) = x
1 = 1
0 =1 = 0 =1
Algebra Booleana 9
Prodotto Logico (AND)
L’operazione di prodotto logico fra due (o più) variabili fornisce il

valore logico 1 se e solo se tutte le variabili assumono valore logico
1.
Per rappresentare il prodotto logico di due variabili x e y si usa

la notazione:
x and y
x·y
xy
Algebra Booleana 10
Prodotto Logico (AND) / 2
Rappresentazione dell’operazione x · y con la tavola della verità:
x y x·y
0 0 0
0 1 0
1 0 0
1 1 1
Proprietà
x·0 = 0
x·1 = x
x·x = x
x·x = 0
Algebra Booleana 11
Somma Logica (OR)
L’operazione di somma logica fra due (o più) variabili fornisce

il valore logico 1 se e solo se almeno una delle variabili assume
valore logico 1.
Per rappresentare la somma logica di due variabili x e y si usa la

notazione:
x or y
x+y
Algebra Booleana 12
Somma Logica (OR) / 2
Rappresentazione dell’operazione x + y con la tavola della verità:
x y x+y
0 0 0
0 1 1
1 0 1
1 1 1
Proprietà
x+0 = x
x+1 = 1
x+x = x
x+x = 1
Algebra Booleana 13
Porte Logiche
Le porte logiche sono dispositivi elettronici capaci di eseguire op-

erazioni logiche su variabili booleane.

Algebra Booleana 14
Porta AND

Alcune proprietà della porta AND.

!" !$#&%

Algebra Booleana 15
Porta OR

Alcune proprietà della porta OR.

!" !$#&%

Algebra Booleana 16
Proprietà dell’algebra Booleana
Le proprietà degli operatori logici N OT , AN D e OR, permettono

di stabilire le seguenti proprietà.
¦ Idempotenza
x+x = x
x ·x = x
¦ Elemento nullo (forcing function)

x+1 = 1
x ·0 = 0
¦ Proprietà Commutativa
x+y = y +x
x ·y = y ·x
¦ Proprietà Associativa
x + (y + z) = (x + y) + z = x + y + z
x · (y · z) = (x · y) · z = x · y · z
Algebra Booleana 17
Reciprocità dei Teoremi
dell’algebra Booleana
Le proprietà che valgono per l’operatore + valgono anche per

l’operatore · purchè si scambino gli 1 con gli 0 (e viceversa).
Algebra Booleana 18
Teoremi dell’algebra Booleana
¦ Distributività
La proprietà distributiva vale sia rispetto alla somma di

prodotti (come nell’algebra ordinaria) che rispetto al prodotto
di somme.
x · y + x · z = x · (y + z)
(x + y) · (x + z) = x + y · z
Algebra Booleana 19
Verifica dei teoremi di distributività mediante la tavola della

verità.
x y z xy xz xy + xz y+z x(y + z)
0 0 0 0 0 0 0 0
0 0 1 0 0 0 1 0
0 1 0 0 0 0 1 0
0 1 1 0 0 0 1 0
1 0 0 0 0 0 0 0
1 0 1 0 1 1 1 1
1 1 0 1 0 1 1 1
1 1 1 1 1 1 1 1
x y z yz x + yz x+y x+z (x + y)(x + z)

0 0 0 0 0 0 0 0
0 0 1 0 0 0 1 0
0 1 0 0 0 1 0 0
0 1 1 1 1 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 0 1 1 1 1
1 1 1 1 1 1 1 1
Algebra Booleana 20
¦ Assorbimento
Il teorema dell’assorbimento può assumere varie forme.
x + (x · y) = x
x · (x + y) = x
(x + y) · y = x · y
x·y +y = x+y
Algebra Booleana 21
¦ Teoremi di De Morgan
x·y = x+y
x+y = x·y
Algebra Booleana 22
¦ Legge di Cancellazione
Nell’algebra booleana non vale la legge di cancellazione
Dall’espressione:
x+y = x+z
non è possibile dedurre:
y = z
Algebra Booleana 23
¦ Legge di Cancellazione
Si dimostra la non validità della legge di cancellazione medi-

ante la tavola della verità.
x y z x+y x+z x+y =x+z y =z
0 0 0 0 0 1 1
0 0 1 0 1 0 0
0 1 0 1 0 0 0
0 1 1 1 1 1 1
1 0 0 1 1 1 1
1 0 1 1 1 1 0
1 1 0 1 1 1 0
1 1 1 1 1 1 1
Algebra Booleana 24
Algebra degli Insiemi
L’Algebra degli insiemi (o Teoria degli insiemi) è formalmente

identica all’algebra booleana a condizione che:
⇒ Le variabili logiche siano interpretate come possibili sottoin-

siemi di un insieme universo U .
⇒ Il prodotto logico · (AN D) sia interpretato come l’operazione

di intersezione fra insiemi.
⇒ La somma logica + (OR) sia interpretata come l’operazione

di unione fra insiemi.
⇒ Il valore 1 (elemento neutro rispetto a ·) sia sosti-

tuito dall’insieme universo U (elemento neutro rispetto
all’intersezione).
⇒ Il valore 0 (elemento neutro rispetto a +) sia sostituito

dall’insieme vuoto Φ (elemento neutro rispetto all’unione).
È quindi possibile dimostrare le proprietà e i teoremi dell’algebra

booleana ricorrendo alla rappresentazione degli insiemi medianti
diagrammi di Venn.
Algebra Booleana 25
Operazione di nand logico
L’operazione di nand logico è l’operazione negata dell’operazione

and.
Il simbolo nand è una contrazione di not and.
Quindi l’operazione di nand logico fra due (o più) variabili fornisce

il valore logico 1 se almeno una delle variabili assume il valore
logico 0.
Per rappresentare il nand logico non esiste un simbolo specifico.
x nand y

Algebra Booleana 26
Operazione nand logico / 2
Rappresentazione dell’operazione x nand y con la tavola della

verità:
x y x nand y
0 0 1
0 1 1
1 0 1
1 1 0
Proprietà
x nand 0 = 1
x nand 1 = x
x nand x = x
x nand x = 1
x nand y = x · y
Algebra Booleana 27
Porta NAND
Con il solo operatore NAND, si possono rappresentare gli opera-

tori NOT, AND e OR.

#$&%'#($)%

!
"

Algebra Booleana 28
Operazione di nor logico
L’operazione di nor logico è l’operazione negata dell’operazione

or.
Il simbolo nor è una contrazione di not or.
Quindi l’operazione di nor logico fra due (o più) variabili fornisce

il valore logico 1 se nessuna delle variabili assume il valore logico
1.
Per rappresentare il nor logico non esiste un simbolo specifico.
x nor y

Algebra Booleana 29
Operazione nor logico / 2
Rappresentazione dell’operazione x nor y con la tavola della

verità:
x y x nor y
0 0 1
0 1 0
1 0 0
1 1 0
Proprietà
x nor 0 = x
x nor 1 = 0
x nor x = x
x nor x = 0
x nor y = x + y
Algebra Booleana 30
Porta NOR
Con il solo operatore NOR, si possono rappresentare gli operatori

NOT, AND e OR.

% !"$#
&

Algebra Booleana 31
Operazione di or esclusivo (exor) / 1
L’operazione di or esclusivo (exor) fra due (o più) variabili fornisce

il valore logico 1 se il numero delle variabili che assumono valore
logico 1 è dispari.
Per rappresentare l’operatore exor si usa comunemente la seguente

notazione:
L
x y
x exor y

Algebra Booleana 32
Operazione or esclusivo (exor) / 2
Rappresentazione dell’operazione x exor y con la tavola della

verità:
L
x y x y
0 0 0
0 1 1
1 0 1
1 1 0
Proprietà
L
x 0 = x
L
x 1 = x
L
x x = 0
L
x x = 1
L L
x y = x y
Algebra Booleana 33
Operazione or esclusivo (exor) / 3
Proprietà
L
x y = x·y +x·y
¦ l’operatore exor può essere visto come un comparatore di

uguaglianza:
M
if x = y then x y = 0
M
else x y = 1
¦ l’operatore exor può essere visto come un invertitore control-

lato:
M
if x = 0 then x y = y
M
else x y = y
Algebra Booleana 34
exor come invertitore controllato
Mettendo una variabile x come ingresso di una porta exor, si può

ottenere in uscita il valore x stesso forzando il secondo ingresso a
0, o il valore complementato x̄ forzando il secondo ingresso a 1.
x x x
0 1
L
x 0 x 0=x
0 0 0
1 0 1
L
x 1 x 1 = x̄
0 1 1
1 1 0
Algebra Booleana 35
exor come comparatore di uguaglianza
Si abbiano due parole di 4 bit (x3 x2 x1 x0) e (y3 y2 y1 y0).
La rete logica in figura verifica se le due parole sono uguali e

diverse: in particolare se l’uscita è 0 le parole sono uguali, se
l’uscita è 1 le parole sono diverse.
x3
y3
x2
0 uguali
y2
x1 1 diversi
y1
x0
y0
Algebra Booleana 36
exor come verificatore di parità
Si abbia una parola di 8 bit con bit di parità

(x7 x6 x5 x4 x3 x2 x1 x0 xp).
La rete logica in figura verifica se il numero totale di 1 della parola

è pari o dispari: in particolare se l’uscita è 0 il numero di 1 è pari,
se l’uscita è 1 il numero di 1 è dispari.
x7
x6
x5
x4
x3 U
x2
x1
x0
xp
Algebra Booleana 37
Funzioni Logiche
Le funzioni logiche sono ottenute dalla composizione di operazioni

logiche.
Una funzione di variabili logiche X, Y , Z, . . .
Φ = F (X, Y, Z, . . .)
ha come dominio il prodotto cartesiano delle sue variabili, e come

immagine una variabile logica.
Φ è una variabile logica {0, 1}.

Algebra Booleana 38
Tavola della verità di funzioni logiche
La tavola della verità di una funzione logica si ottiene valutando il

valore di verità della funzione in corrispondenza di tutte le possibili
combinazioni delle sue variabili.
Se la funzione Φ dipende da n variabili logiche, la tavola della

verità avrà 2 n righe.
X Y Z ··· F (X, Y, Z, . . .)
0 0 0 ··· {0, 1}
··· ··· ··· ··· {0, 1}
1 1 1 ··· {0, 1}
Algebra Booleana 39
Minterm di funzioni logiche
Il minterm di ordine i di una funzione di n variabili è una funzione

prodotto delle n variabili in forma diretta o in forma negata che
vale 1 in corrispondenza alla sola combinazione i delle variabili.
Nel minterm di ordine i compaiono in forma diretta le variabili il

cui valore è 1 nella tavola della verità e compaiono in forma negata
le variabili il cui valore è 0 nella tavola della verità.
x y minterm
0 0 xy
0 1 xy
1 0 xy
1 1 xy
Algebra Booleana 40
Minterm di funzioni logiche
La seguente tavola della verità riporta i minterm per una funzione

di 3 variabili.
x y z minterm
0 0 0 xyz
0 0 1 xyz
0 1 0 xyz
0 1 1 xyz
1 0 0 xyz
1 0 1 xyz
1 1 0 xyz
1 1 1 xyz
Algebra Booleana 41
Forma canonica SP
La forma canonica Somma di Prodotti (SP) di una funzione log-

ica si ottiene sommando i minterm in corrispondenza dei quali la
funzione vale 1.
ESEMPIO:
Data la funzione F espressa dalla seguente tavola della verità:
x y z F minterm
0 0 0 1 xyz
0 0 1 0
0 1 0 0
0 1 1 1 xyz
1 0 0 1 xyz
1 0 1 0
1 1 0 1 xyz
1 1 1 0
F (x, y, z) = x y z + x y z + x y z + x y z
Algebra Booleana 42
Notazione compatta forme canoniche SP
Per la forma SP si usa la seguente notazione compatta:

X
F = { i1, i2, . . . , ik }
n
dove n è il numero di variabili, e i1, i2, . . . , ik il valore (espresso

come numero decimale), dell’indice delle righe nella tavola della
verità della funzione in cui la funzione stessa vale 1.
ESEMPIO - La funzione di pg 43 ha la seguente espressione

compatta:
X
F = { 0, 3, 4, 6}
3
ESEMPIO - Sia data la seguente funzione, espressa in forma

compatta:
X
F = { 1, 5, 9, 10, 11, 14, 15}
4
Indicando con (a, b, c, d, ) le 4 variabili (nell’ordine), l’espressione

canonica PS della funzione è data da:
F = abcd + abcd + abcd + abcd + abcd + abcd + abcd

Algebra Booleana 43
Insiemi completi di operatori
Poichè qualsiasi funzione logica può essere espressa in forma

canonica SP o PS, l’insieme degli operatori not, and e or cos-
tituisce un insieme completo di operatori.
Ricorrendo ai teoremi di De Morgan si può vedere che anche not

e and, oppure not e or costituiscono un insieme completo di op-
eratori.
Ricorrendo alle proprietà degli operatori nand e nor, si può vedere

che ciascuno di essi, singolarmente, costituisce un insieme com-
pleto di operatori.
Si può quindi realizzare una qualunque funzione logica utilizzando

circuiti che abbiano solo porte nand (oppure nor).
Algebra Booleana 44
Logica a due livelli
Se si trascura l’operatore not (cioè si suppone che ogni variabile

sia disponibile in forma diretta e in forma negata), qualunque
funzione logica può essere rappresentata con una rete logica a due
livelli.
Infatti, qualunque funzione logica può essere espressa in forma

canonica SP o PS, da cui:
Forma Canonica SP - Ad un primo livello le variabili sono

poste all’ingresso di porte AND, realizzando il prodotto, e le
uscite delle porte AND sono poste all’ingresso di un porta OR
realizzando la somma.
Forma Canonica PS - Ad un primo livello le variabili sono poste

all’ingresso di porte OR, realizzando la somma, e le uscite delle
porte OR sono poste all’ingresso di un porta AND realizzando
il prodotto.
Algebra Booleana 45
Logica a due livelli - Esempio
Date tre variabili a, b e c, si definisce funzione di maggioranza

F (a, b, c) la funzione che vale 1 quando la maggioranza delle vari-
abili vale 1.
La funzione di maggioranza ha la seguente forma canonica SP:
a b c F minterm
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1 abc
1 0 0 0
1 0 1 1 abc
1 1 0 1 abc
1 1 1 1 abc
F (a, b, c) = a b c + a b c + a b c + a b c
Algebra Booleana 46
Logica a due livelli - Rete Logica
La rete logica corrispondente alla funzione di maggioranza in

forma canonica SP ha la seguente struttura:
a b c
Algebra Booleana 47
Enumerazione di funzioni logiche
n
Date n variabili, esistono soltanto 2(2 ) funzioni logiche distinte.
Infatti, le configurazioni delle n variabili sono 2n, e le possibili
combinazioni di 0 e 1 che si possono costruire su 2n configurazioni
n
sono appunto 2(2 ).
2
Tutte le possibili funzioni di due variabili sono 2(2 ) = 16 e sono
elencate nel seguito:
0 0 1 1 a
0 1 0 1 b
0 0 0 0 F0 = 0 (costante 0)
0 0 0 1 F1 = a · b (AND)
0 0 1 0 F2 = a · b (a AND NOT b)
0 0 1 1 F3 = a
0 1 0 0 F4 = a · b (NOT a AND b)
0 1 0 1 F5 = b
L
0 1 1 0 F6 = a b (disparità XOR)
0 1 1 1 F7 = a + b (OR)
1 0 0 0 F8 = a · b (NOR)
1 0 0 1 F9 = ab + ab (equivalenza NOT XOR)
1 0 1 0 F10 = b
1 0 1 1 F11 = a + b (b implica a)
1 1 0 0 F12 = a (NOT a)
1 1 0 1 F13 = a + b (a implica b)
1 1 1 0 F14 = a + b (NAND)
1 1 1 1 F15 = 1 (costante 1)

AlgebraDiBoole1 PDF

Caricato da

Copyright:

Formati disponibili

AlgebraDiBoole1 PDF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

AlgebraDiBoole1 PDF

Caricato da

Copyright:

Formati disponibili

Algebra Booleana 1

Calcolatore come rete logica

Le porte logiche sono dispositivi capaci di eseguire operazioni

I segnali binari sono livelli di tensione.

Il valore esatto della tensione del segnale non è significativo: conta

Questi livelli sono identificati tramite una coppia di simboli:

Le tecniche di composizione delle porte logiche in una rete sono

L’algebra Booleana prende il nome dal matematico inglese George

A lui è legato lo sviluppo della logica simbolica e degli operatori

Elementi dell’Algebra Booleana

Vengono definiti i seguenti concetti:

Una variabile booleana è una variabile binaria che può assumere

Se x è una variabile booleana, vale quindi la seguente definizione

Si definiscono gli operatori booleani o logici fondamentali:

NOT Negazione Logica

Trattasi di una operazione unaria che restituisce il valore logico

Rappresentazione come operatore

Per rappresentare il complemento di una variabile x vengono usate

Rappresentazione dell’operazione not(x) con la tavola della verità:

Prodotto Logico (AND)

L’operazione di prodotto logico fra due (o più) variabili fornisce il

Rappresentazione come operatore

Per rappresentare il prodotto logico di due variabili x e y si usa

Prodotto Logico (AND) / 2

Rappresentazione dell’operazione x · y con la tavola della verità:

Somma Logica (OR)

L’operazione di somma logica fra due (o più) variabili fornisce

Rappresentazione come operatore

Per rappresentare la somma logica di due variabili x e y si usa la

Somma Logica (OR) / 2

Rappresentazione dell’operazione x + y con la tavola della verità:

Le porte logiche sono dispositivi elettronici capaci di eseguire op-

Proprietà dell’algebra Booleana

Le proprietà degli operatori logici N OT , AN D e OR, permettono

¦ Elemento nullo (forcing function)

Reciprocità dei Teoremi

Le proprietà che valgono per l’operatore + valgono anche per

Teoremi dell’algebra Booleana

La proprietà distributiva vale sia rispetto alla somma di

Teoremi dell’algebra Booleana

Verifica dei teoremi di distributività mediante la tavola della

x y z yz x + yz x+y x+z (x + y)(x + z)

Teoremi dell’algebra Booleana

Il teorema dell’assorbimento può assumere varie forme.

Teoremi dell’algebra Booleana

Teoremi dell’algebra Booleana

Nell’algebra booleana non vale la legge di cancellazione

Teoremi dell’algebra Booleana

Si dimostra la non validità della legge di cancellazione medi-

x y z x+y x+z x+y =x+z y =z

Algebra degli Insiemi

L’Algebra degli insiemi (o Teoria degli insiemi) è formalmente

⇒ Le variabili logiche siano interpretate come possibili sottoin-

⇒ Il prodotto logico · (AN D) sia interpretato come l’operazione

⇒ La somma logica + (OR) sia interpretata come l’operazione

⇒ Il valore 1 (elemento neutro rispetto a ·) sia sosti-

⇒ Il valore 0 (elemento neutro rispetto a +) sia sostituito

È quindi possibile dimostrare le proprietà e i teoremi dell’algebra

Operazione di nand logico