ALGEBRA DI BOOLE

Indice
Introduzione ...................................................................................................................................................... 2
PRORIETAE TEOREMI DELLALGEBRA DI BOOLE ............................................................................................... 3
FUNZIONI LOGICHE PRIMARIE ........................................................................................................................... 4
Funzione logica AND ...................................................................................................................................... 4
Funzione logica OR ........................................................................................................................................ 4
Funzione logica NOT ...................................................................................................................................... 5
FUNZIONI LOGICHE PRIMARIE ........................................................................................................................... 5
Funzione logica NAND ................................................................................................................................... 5
Funzione logica OR esclusivo (XOR)............................................................................................................... 6
Funzione logica NOR ...................................................................................................................................... 6

In caso di errori di battitura o se si volesse contribuire a migliorare la seguente guida contattare:

o Prof. Rotolo Giuseppe allindirizzo mail rgscuola@gmail.com

o Prof.ssa Piccinelli Simonetta.allindirizzo mail piccinelli@isisvarese.it

Prof. Rotolo Giuseppe Dispense di Tecnologie Informatiche Pag. 1 di 5

Prof.ssa Piccinelli Simonetta anno scolastico 2011-2012
 Algebra di Boole

Introduzione
Nellalgebra di Boole (1815-1864) si usano solo due valori, l1 e lo 0. Questalgebra universalmente usata per lo
studio dei circuiti digitali binari.

Si fonda sui seguenti assiomi

1 1=1 1 + 1=1
1 0=0 1 + 0=1
0 1=0 0 + 1=1
0 0=0 0 + 0=0

Loperatore () detto operatore di prodotto logico (AND).

Loperatore (+) detto operatore di somma logica (OR).
Loperatore (-) detto operatore di complementazione logica (NOT).

Sfruttando le regole di questalgebra possibile esprimere, in forma sintetica, la funzione logica di qualsiasi
circuito, attraverso una sua espressione logica.

Ad esempio lespressione

Y=A B + C

Soddisfa la seguente tabella della verit

A B C Y
0..0..0 1
0..0..1 0
0..1..0 1
0..1..1 0
1..0..0 1
1..0..1 0
1 .1..0 1
1..1..1 1

Per verificarlo basta applicare ad ogni possibile combinazione degli ingressi gli assiomi booleani.
Si noti il particolare criterio seguito per ordinare le combinazioni degli ingressi, in modo che ogni combinazione
esprima, in binario, un numero che ne individua la posizione (nel nostro caso da 0 a 7).
Si osservi che la prima colonna degli assiomi booleani sostituibile alla seconda se si cambia loperatore AND
con loperatore OR, ogni 1 con uno 0 e ogni 0 con un 1 e, viceversa, possibile passare dalla seconda colonna
alla prima.
Questa propriet detta della dualit ed valida per ogni espressione logica vera. Pertanto se una espressione
logica vera, ovvero soddisfa gli assiomi di Boole, anche la sua duale vera.

Prof. Rotolo Giuseppe Dispense di Tecnologie Informatiche Pag. 2 di 6

Prof.ssa Piccinelli Simonetta anno scolastico 2011-2012
 Algebra di Boole

PRORIETAE TEOREMI DELLALGEBRA DI BOOLE

In questalgebra valgono le seguenti propriet:

A+B=B+A propriet commutativa

AB=BA

(A+B)+C=A+(B+C) propriet associativa

(AB)C=A(BC)

(AB)+(AC)=A(B+C) propriet distributiva

(A+B)(A+C)=A+(BC)

Valgono, inoltre, i seguenti teoremi:

A+1=1 teorema di annullamento

A0=0

A+0=A teorema di identit

A1=A

A+ =1 teorema dei complementi

A =0

A+A=A teorema di idempotenza

AA=A

A+(AB)=A primo teorema dellassorbimento

A(A+B)=A

A+( B)=A+B secondo teorema dellassorbimento

A ( +B)=AB

+ = teorema di De Morgan
= +

Prof. Rotolo Giuseppe Dispense di Tecnologie Informatiche Pag. 3 di 6

Prof.ssa Piccinelli Simonetta anno scolastico 2011-2012
 Algebra di Boole

FUNZIONI LOGICHE PRIMARIE

I circuiti capaci di svolgere le operazioni logiche assiomatiche AND, OR, NOT realizzano delle funzioni logiche
primarie in quanto combinando opportunamente pi circuiti di questo tipo possibile realizzare una funzione
logica comunque complessa.
Di seguito sono riportati simboli logici, espressioni e tabella della verit di questi circuiti.

Funzione logica AND

Relativamente a due variabili logiche A e B avremo:

A B Y= AB
0..0 0
0..1 0
1..0 0
1..1 1

Il simbolo elettronico del componente :

Si noti in particolare che luscita a 1 solo e solo se entrambe le entrate sono a 1.

Funzione logica OR
Relativamente a due variabili logiche A e B avremo:

A B Y= A+B
0..0 0
0..1 1
1..0 1
1..1 1

Il simbolo elettronico del componente :

Si noti che in questo caso luscita a 1 ogni volta che si ha 1 in uno degli ingressi.

Prof. Rotolo Giuseppe Dispense di Tecnologie Informatiche Pag. 4 di 6

Prof.ssa Piccinelli Simonetta anno scolastico 2011-2012
 Algebra di Boole

Funzione logica NOT

Relativamente alla variabile logica A avremo:

A Y
0 1
1 0

Il simbolo elettronico del componente :

Si noti che in questo caso luscita lopposto dellingresso.

FUNZIONI LOGICHE PRIMARIE

In commercio, oltre ai circuiti che realizzano le funzioni logiche primarie AND-OR-NOT, sono disponibili
anche circuiti che realizzano altre funzioni elementari, facilmente ricavabili dalle prime.

Funzione logica NAND

Un NAND facilmente ricavabile facendo seguire ad un AND un NOT.

Relativamente a due variabili logiche A e B avremo:

A B Y=
0..0 1
0..1 1
1..0 1
1..1 0

Il simbolo elettronico del componente :

Come si vede, le uscite sono i complementi di quelle di un AND.

Prof. Rotolo Giuseppe Dispense di Tecnologie Informatiche Pag. 5 di 6

Prof.ssa Piccinelli Simonetta anno scolastico 2011-2012
 Algebra di Boole

Funzione logica OR esclusivo (XOR)

Si tratta di un circuito capace di riconoscere se gli ingressi sono uguali (uscita=0) o sono diversi (uscita=1).

A B Y
0..0 0
0..1 1
1..0 1
1..1 1

Il simbolo elettronico del componente :

Si osservi che se si esclude la quarta combinazione la tabella della verit corrisponde a quella di un OR.

Funzione logica NOR

Questa funzione si ottiene facilmente facendo seguire un NOT a un OR.

A B Y
0..0 1
0..1 0
1..0 0
1..1 0

Il simbolo elettronico del componente :

Come si vede, in questo caso le uscite sono i complementi delle corrispondenti di un OR:

Prof. Rotolo Giuseppe Dispense di Tecnologie Informatiche Pag. 6 di 6

Prof.ssa Piccinelli Simonetta anno scolastico 2011-2012