Sei sulla pagina 1di 24

Algebra di Boole e Funzioni Binarie

Lezione Prima

Sommario
Variabili Binarie Negazione Somma Logica Prodotto Logico Relazioni- propriet Funzioni Minterm Teoremi Maxterm Forme Canoniche Mappe di Karnaugh Fine lezione

Prof. Abramo Carmelo

Variabili Binarie
Variabile binaria: grandezza matematica che pu assumere due soli valori: 0 o 1.
Sulle variabili binarie definiamo tre operatori: negazione, somma e prodotto. La negazione di una variabile binaria x si indica con x (non x o x negato)
Prof. Abramo Carmelo 3

Negazione
Possiamo rappresentare il valore di x tramite tabella di verit:
x 0 1 x 1 0

Prof. Abramo Carmelo

Somma logica
La somma di n variabili binarie x1, x2, x3, --- xn vale 0 solo se tutte le xi (1in) valgono contemporaneamente 0, vale 1 in ogni altro caso.
x1
0 0 1

x2
0 1 0

x 1 + x2
0 1 1

esempio di somma logica di due variabili x1 e x2 mediante tabella di verit

Prof. Abramo Carmelo

Prodotto logico
Il prodotto di n variabili binarie x1, x2, x3, --- xn vale 1 solo se tutte le xi (1in) sono contemporaneamente 1, vale 0 in ogni altro caso
x1
0 0 1 1

x2
0 1 0 1

x1 . x2
0 0 0 1

esempio di prodotto logico di due variabili x1 e x2 mediante tabella di verit

Prof. Abramo Carmelo

Relazioni e propriet
Le relazioni e propriet degli operatori somma e prodotto logico sono riportate nella tabella
Somma x+1=1 x0=0 Prodotto

x+0=x
x1 + x2 = x2 + x1

x1=x
x1 x2 = x2 x1

x1 + x2 + x3 = (x1 + x2) + x3 x1 x2 x3= (x1 x2) x3 x1 x2+ x1 x3= x1 (x2 + x3) (x1 + x2) (x1 + x3) = x1+ x2 x3
7

Prof. Abramo Carmelo

Relazioni e propriet
Per la negazione valgono le seguenti relazioni e propriet:
Negazione 0 = 0

1 = 1
x = x x + x = 1 x x = 0
x x due volte negato
Prof. Abramo Carmelo 8

Funzioni
Con n variabili binarie (x1, x2, xn) si possono formare 2n configurazioni diverse. Se prendiamo, ad esempio, 2 variabili: x1, x2 dato che ognuna di loro pu valere 0 od 1, si possono creano le seguenti quattro (22) configurazioni diverse: 00, 01, 10, 11.

Cos con 3 variabili binarie si potranno formare al massimo 23=8 configurazioni diverse che sono:
000, 001, 010, 011, 100, 101, 110, 111.

Prof. Abramo Carmelo

Funzioni
Diremo che una variabile y funzione di n variabili indipendenti x1, x2, xn e si scrive: y = F (x1, x2, xn) quando esiste un criterio che fa corrispondere in modo univoco ad ognuna delle 2n configurazioni di x un determinato valore y (ovviamente 0 o 1).

Prof. Abramo Carmelo

10

Funzioni
Tutte le diverse funzioni di n variabili (x1,x2,xn) che si possono costruire sono pari a
(22)n

Ad esempio tutte le diverse funzioni che si possono formare con 3 variabili sono pari a
(22)3= 28 = 256
Prof. Abramo Carmelo 11

Funzioni
Una funzione pu essere rappresentata sotto forma di tabella di verit, scrivendo accanto ad ognuna delle 2n diverse configurazioni di x1, x2, xn il valore assunto dalla y. Ad esempio la seguente tabella rappresenta la tabella di verit di una delle 256 funzioni possibili di tre variabili binarie
Cliccare sullimmagine

Prof. Abramo Carmelo

12

Minterm
Se consideriamo 3 variabili, la scrittura x1x2x3 = 011 indica tra le 23=8 configurazioni possibili, quella in cui x1 vale 0, x2 vale 1 e x3 vale 1.

Questa configurazione si scrive semplicemente con il prodotto x1x2x3


Se in una configurazione una variabile compare con 1 si assume il valore diretto se invece compare con uno 0 si assume il valore negato. Consideriamo la funzione di 3 variabili rappresentata sotto forma di tabella di verit in fig.1 e le 3 configurazioni in cui la stessa vale 1 Avremo che la funzione vale 1 per le seguenti configurazioni:

x1x2x3

x1x2x3

x1x2x3

Ciascuno di questi prodotti si chiama minterm


Prof. Abramo Carmelo 13

Minterm
La funzione conoscendo la sua tabella di verit, potr essere espressa sotto forma di somme di prodotti dei termini minimi.

Nel caso della funzione in esempio scriveremo


y = x1x2x3 + x1x2x3 + x1x2x3 Se una funzione direttamente espressa sotto forma di somme di minterm sar possibile costruire la sua tabella di verit, mettendo 1 nelle configurazioni relative ai minterm, e 0 negli altri casi.

Prof. Abramo Carmelo

14

Minterm
Ad esempio data la funzione di 3 variabili
F(x,y,z) = xyz + xyz + xyz la sua tabella di verit sar:
x y z F(x,y,z)

0
0

0
0

0
1

0
0

0
xyz xyz xyz 0

1
1

0
1

0
1

1
1 1 1

0
0 1 1

0
1 0 1

0
1 1 0
15

Prof. Abramo Carmelo

Teoremi
TEOREMI Idempotenza Diretto x + x + x + --- x = x x + xy = x Assorbimento x + xy = x + y xy +yz + xz = xy + xz Duale x x x --- x = x x (x +y) = x x (x + y) = x y (x +y)(y+z)(x+z) = (x+y) (x+z)

De Morgan

(x+y) = x y

(x y) = x + y

Prof. Abramo Carmelo

16

Maxtem
Il teorema di De Morgan applicato alla funzione della fig.1 ci consente di scrivere la funzione in questo modo:
y = (x1+x2+x3) (x1+x2+x3) (x1+x2+x3) .(x1+x2+x3) (x1+x2+x3)

ossia sotto forma di prodotto di somme. Ciascuna delle somme chiama maxterm (termine massimo).

Prof. Abramo Carmelo

17

Maxtem
Lespressione della y come prodotto di maxterm si pu ottenere dalla tabella di verit della funzione; ci sono tanti maxterm quanto sono i valori 0 della funzione;

ogni maxterm la somma di tutte le variabili dirette o negate a seconda che la configurazione contenga 1 o 0.

Prof. Abramo Carmelo

18

Forma Canonica
Entrambe le espressioni della funzione sotto forma di: somme di prodotti (minterm) prodotti di somme (maxterm) si chiamano forme canoniche di una funzione binaria.

Prof. Abramo Carmelo

19

Mappe di KARNAUGH
Le mappe di Karnaugh sono delle tabelle che permettono in modo immediato la rappresentazione e la semplificazione di funzioni booleane fino 6 variabili.

Mappa di K. per funzione ad 1 variabile x

0
x

1
x

Mappa di K. per funzione a 2 variabili x,y con allinterno rappresentati i relativi minterm

x y

0
1
Prof. Abramo Carmelo

xy xy
xy xy
20

Mappe di KARNAUGH
La mappa di K. per una funzione a 3 variabili x,y,z un rettangolo diviso in 8 celle come nellesempio. Al solito dentro le celle minterm. xy sono stati scritti i relativi

z 0

00

01

11

10

xyz xyz xyz xyz

xyz

xyz

xyz

xyz

Le coordinate della tabella vanno sistemate in modo che nel passaggio da una cella allaltra ci sia un sola variazione. Infatti le coordinate per la xy saranno 00 01 11 10.
Prof. Abramo Carmelo 21

Mappe di KARNAUGH
Una mappa di K. per 4 variabili x,y,v,z un rettangolo diviso in 16 celle. Allinterno indichiamo al solito i relativi minterm.
xy vz 00 01

00

01

11

10

xyvz xyvz xyvz xyvz xyvz xyvz xyvz xyvz

11
10

xyvz

xyvz

xyvz
xyvz

xyvz
xyvz

xyvz xyvz

Si omette di parlare delle mappe di K. a 5 e 6 variabili


Prof. Abramo Carmelo 22

Mappe di KARNAUGH
Le Mappe di K. costituiscono un altro metodo per rappresentare una funzione booleana; basta scrivere 1 in quelle caselle che hanno le coordinate della tabella di verit in cui la funzione vale 1.
x 0 y 0 z 0 F(x,y, z) 1

xy
z 0 1

00 1

01 1 1

11

10

0
0 0 1 1

0
1 1 0 0

1
0 1 0 1

0
1 1 0 1

1
1

1
1

0
1

0
1

Rappresentazione con Mappa di K. della funzione a lato.

Prof. Abramo Carmelo

23

Prossima Lezione: Semplificazioni di funzioni binarie

Arrivederci!