2 02-Algebra Boole - crescenziogallo.it€¦ · Algebra booleana • Valori: FALSE(=0); TRUE(=1);...

Post on 03-Aug-2020

3 views 0 download

Transcript of 2 02-Algebra Boole - crescenziogallo.it€¦ · Algebra booleana • Valori: FALSE(=0); TRUE(=1);...

Modulo IProf. Crescenzio Gallo crescenzio.gallo@unifg.it

Corso integrato di Sistemi di Elaborazione

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

L’Algebra di Boole

2

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

Valori di verità e operatori

3

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

4

Algebra booleana• Valori: FALSE(=0); TRUE(=1); operatori: NOT, AND, OR• Applicazioni:

- analisi dei circuiti digitali (descrizione del funzionamento in modo economico);- sintesi (progettazione) dei circuiti digitali (data una certa funzione logica, svilupparne

una implementazione efficiente).

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

5

Costanti• L’algebra di Boole si basa su due soli valori, normalmente indicati con

0 (FALSO) ed 1 (VERO).

• Sono anche detti “valori logici”, e corrispondono ai valori che possono assumere i bit.

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

6

Operatori• Sono definiti da tabelle che esaustivamente ne descrivono il

comportamento (il numero di combinazioni di valori di ingresso è finito)

• Le tabelle vengono dette “tavole di verità”

• Spesso si utilizzano anche descrizioni di tipo funzionale

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

7

Operatori• Si possono utilizzare diverse notazioni:

- porte logiche (corrispondono ai dispositivi elettronici che svolgono la funzione dell’operatore);

- notazione algebrica;- tavole di verità;- mappe di Karnaugh.

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

8

Operatore NOT

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

9

Operatore AND

A·B = 0 se almeno un ingresso vale 0 A·B = 1 se entrambi gli ingressi valgono 1

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

10

Operatore OR

A+B = 1 se almeno un ingresso vale 1 A+B = 0 se entrambi gli ingressi valgono 0

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

11

Priorità degli operatori

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

12

Dualità e postulati

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

13

Proprietà degli operatori

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

14

Operatore NAND

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

15

Operatore NOR

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

16

Operatore XOR

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

17

Operatore XORA ⊕ B = AB + AB

Tre possibili descrizioni funzionali: 1. complementare pilotato 2. comparatore 3. generatore di parità

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

18

Operatore XORA ⊕ B = AB + AB (complementatore pilotato)

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

19

Operatore XORA ⊕ B = AB + AB (comparatore)

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

20

Operatore XORA ⊕ B = AB + AB (generatore di parità)

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

Porte logiche

21

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

22

Porte universali

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

23

Porta universale NOR

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

24

Porta universale NAND

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

Sintesi di circuiti combinatori

25

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

26

Funzioni logiche

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

27

Sintesi di circuiti logici

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

28

Sintesi di circuiti logici

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

29

La I forma canonica

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

30

Somma di prodotti

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

31

I forma canonica: dall’espressione al circuito

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

32

Esercizio: funzione maggioranza

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

33

II forma canonica

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

34

Sintesi della funzione logica

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

35

II forma canonica

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

36

II forma canonica

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

37

II forma canonica: PoS

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

38

Somma di prodotti

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

39

Circuito in II forma canonica: PoS

Corso di Sistemi di Elaborazione (I Modulo) - Prof. Crescenzio Gallo

Un

iver

sità

di F

oggi

a - C

dL in

Inge

gner

ia d

ei S

iste

mi L

ogis

tici

per

l’A

groa

limen

tare

40

Valutazione di un circuito