Reti logiche

RETI LOGICHE

Matteo

satanasso

2109 21

UNA ' INFORMAZIONI

ARTIFICIALE ELABORA

CHE

Macchina DIGITALE un

e OCCETIO

ALL' DIGITALE RAPPRESENTATE FISICHE

GRANDEZZE FINITO

INFORMAZIONI ASSUMERE

DA

MACCHINA POSSONO

CHE

LE

INTERNO NUMERO VALORI

DELLA UN DI

SONO

SE È

e- detta

Due allora macchina

MACCHINA DIGITALE

numero DIGITALE BINARIA

tale la

UNA '

RETE rappresentazione astratta BINARIA

MACCHINA

e

COC DIGITALE

DI UNA

Che una

/

IN RAPPRESENTATE ED UN

ZERI

DA

INFORMAZIONI

RETE

UNA le /

SONO

d-

COC /

LA interconnesse

PIÙ MACCHINE solitamente

DELLE MACCHINE DIGITALE

MAGGIOR PARTE CUORE

HA UN CONTIENE

CHE DIGITALI

UNA e

O sono

SISTEMI QUANTITÀ INTERCONNESSE

GRANDI MACCHINE

SMART DI DIGITALI

:

CODIFICA INFORMAZIONI BINARI

DELLE codici

: bit può I

che assumere

BINARIA

VARIABILE E

va l o r i

due

solo

misura 0

in

si

> ,

>

Ù È ENTITÀ

' UN' MISURABILE

l' attributo

INFORMAZIONE DI ed

MESSAGGIO

E UN ÉÈÈe

L' È \

descriverla

INFORMAZIONE SCELTA tutte possibili

ALTERNATIVE

TRA e alter native sono Basta PER

le due

se

le

LA BINARIA

, ✓ _

INFORMAZIONE E

L'

bit

LA QUANTITÀ e- NECESSARI DIMINUZIONE

INFORMAZIONE celata NUMERO DI

RAPPRESENTARLO INCERTEZZA

ad DATA DAL

DI MESSACCIO A

MINIMO DI <

un ✓

LA È

INFORMAZIONE ARBITRARIA

CODIFICA MA

dell' RICEVITORE

TRASMETTITORE

SIA ASSEGNATA

LA

DEVONO CONOSCERE

CHE CODIFICA

IL

IL È RAPPRESENTABILE

INFORMAZIONE

QUALUNQUE

COME SEQUENZA UN

ED

zeri

di

L' È ENTITÀ OPPORTUNE

INFORMAZIONE che TRASPORTARE

astratta CON

MEMORIZZARE

ELABORARE

UNA

QUINDI macchine

E

vuole

si ,

Nocciano FISICHE MISURABILI

GRANDEZZE

INFORMAZIONI

associare

QUINDI A

LE SECNACI

CHIAMATE

V

GRANDEZZE RAPPRESENTANO l ' INFORMAZIONE

D' ONDA

FORMA

ANDAMENTO

TEMPO

FISICHE CUI

VARIABILI NEL IN O

SONO TIPI

2

DI >

Secnav variazione della INFORMAZIONE TRASPORTATA

Grandezza

an alog a MODIFICA

FISICA l'

OCN '

:

>

SEGNALI " "

CORRISPONDE Fiotto

cer te

DIGITALI MODIFICA non /

variazioni una

sono a di

:

✓ °

SECNALE SECNACE SEGNALE

INTERPRETATO INSIEME BINARIA

FINITO VARIABILE

DI INTERPRETATO COME

VALORI

COME ANALOGICO

analogico BINARIO

DIGITALE : time

Rise

- Il (

È FINCHÉ

considerato

segnale

SECNACE ANALOGICO

IL RESTA

REALE

(

Fascia

nella H N.D

IDEM PER e .

ts

te te

Il T

te

CAMPIONARE

RICEVITORE deve TRA POI E durante

NON

sa

e

solo e IN

e

}

,

THE

Fa l l

il

ED

RISE TIME

IL

MODELLO analogici

ed

SEGNALI

CAPACE ELABORARE

DI

SISTEMA

DI digitali

TALE

GENERALE DICI

CONVERTITORE CONVERTITORE segnali

segna ,

, >

> DIGITALE

ANALOGICO analogici

DIGITALE analogico

>

analogici > SISTEMA ELABORAZIONE

DI BINARI

SEGNALI

DI

> SECNACI

Secnav BINARI

BINARI 7 TENSIONE

CODIFICA

bit te B{ } Èra

è

variabile 0,1

x E

: ✗

. '

{ >

Por tera

cocic t

> Bassa

I >

0

PER DEL

CODIFICA SEGNALE alter native

la BINARIO

NUMERICO esistono due : { ^ Bassa

i >

> necaiva

cocic t i ACTA

o >

L' bit ENTITÀ

' un'

CODIFICATA IN

INFORMAZIONE INTANGIBILE

e

PER blt UNA

CORRISPONDERE MODIFICABILE

DOBBIAMO E

FISICA

GRANDEZZA

di

MEMORIZZARE

TRASMETTERE FAR A ED valori RILEVABILE

ELABORARE UNI

ZERI diversi

E ,

,

È SEGNALE elettrico

CHE solitamente IL

L' ' UN' ENERGIA

TEMPO E

RICHIEDE

FISICO

E CHE SPAZIO

SVOLTA

FISICA

AZIONE dispositivo

un

ELABORAZIONE da , ✓

AMBITO OTTIMIZZAZIONE

TECNOLOGO ALLA spese

queste

di

RICERCA MIRA

IN

LA

CONFIGURAZIONE bit 1

di

stanca

BINARIA n

di SIMBOLI

n O

: E

PUÒ essere RAPPRESENTATA

> CON

L >

SEGNALI BINARI BINARIO

VALORI DI

I di VALORI SEGNALE

n UN

I

ISTANTE ISTANTI

IN M

CERTO

AD UN

bit parallel bit serial

MACCHINA DIGITALE INTERCONNESSI CHE

COMPOSTO

OCCETIO ELABORANO

BLOCCHI

DA

ARTIFICIALE INFORMAZIONI

: ALL' GRANDEZZE FINITO

RAPPRESENTATE assumere VALORI

FISICHE CHE

DA numero

MACCHINA DI

INFORMAZIONI

DICITACE

DELLA Possono

INTERNO LE un

sono

SE '

È

numero 2 macchina DICITACE

DIGITALE detta BINARIA

Questo macchina

e

allora la

21

22 09

Il CALCOLATORE

IL ' PIÙ DIFFUSA

MACCHINA DIGITALE

LA

e

CALCOLATORE

ALL' MEMORIZZATA E TRASMESSA

L' VIENE ELABORATA

DEL INFORMAZIONE

INTERNO CALCOLATORE ,

LA È ' CALCOLATORE

CALCOLATORE

FUNZIONE MEMORIZZATE NEL

INSIEME

DEL SOFTWARE ISTRUZIONI E

dettata BINARIO

CODIFICATE IN stesso

DAL DI

cioe UN

,

STRUTTURA dell' DI

HARDWARE elettronico

CALCOLATORE

UN

BUS

< >

^ ^

^ ✓ COMPLESSITÀ

PRINCIPALI

✓ I DELLA

METODI sono

Gestione

DI :

' di

UNITA

processore INCRESSO Uscita

✓ 1) ASTRAZIONE

MEMORIA PRINCIPALE PIÙ

'

' SEMPLICI

decomposizione INTERCONNESSE

entita

2) TRA

entita l o ro

di in

✓

LIVELLI DI

ASTRAZIONE h a

:

RETE LOGICA architettonica

MACCHINA '

ASTRARRE tecnologia

DIGITALE DALLA DETIACLIARNE

permette

CHE di IMMACINE

modello DI e

di

: l

"

( NELLA

consiste

ANALISI /

RETE della

descrizione

UNA struttura

COMPORTAMENTO

di SUO

DEL e

COC sua

Ct o

/

( PIÙ

PIÙ PIÙ

PUÒ

COMPORTAMENTO semplice

COMPORTAMENTI

ESSERE VOLTE

DESCRIZIONE

a decomposta

DEL E IN

① È

"

"

da struttura DEFINITA

astratti LIVELLO

INDIVIDUA la sottostante

strutture

GERARCHIA componenti cui

FORMATE

QUESTA NEL

l i ve l l o

cui di

SCENDENDO aumenta COMPORTAMENTO

COMPONENTI SEMPLIFICA

numero SI LORO

E

dei

l i ve l l i IL

I il

Prop È

NUMERO ARBITRARIO Interconnesse

composizione RL

UN

Di ancora

RL una

: di

.

Prop PIÙ PIÙ

PUÒ DECOMPOSTA Gate

elementari

Racc

RL

ESSERE semplice SUDDIVISIBILI

decomposizione NON

Di RL

al Unguento

Rl fino

una

: in di OPERATORI

/ cacio ,

. j

BLACK descritti Black

ESSERE

POSSONO BOX

BOX descritto COMPORTAMENTALI

TERMINI

Blocco come

in solo

:

7

UNA WHITE

essere BOX

PUÒ >

Descritta IN diversi

MODI strutturali

Blocco descritto

M O LT I TERMINI

IN

Rl :

Un IMPORTANTE ' SCHEMA A BLOCCHI

struttura

RAPPRESENTAZIONE DELLA

modello e

MOLTO

di lo ✓ dei

INGRESSO Uscita

P

> > RISULTATI

DEI DATI

processo RELAZIONI

ELABORAZIONE INGRESSO

DI uscita

: ^ > /

RELAZIONI C- EFFETTO

usa

LA '

TABELLA VERITA

DELLA .it?::y---

× >

P INCOMPLETA

FUNZIONE

> > {

h INGRESSI 0 1

0 O

1 0

Uscita OPPURE -

oppure

.

. . 1

0

1 0 OPPURE

O -

oppure

.

.

.

"

2 R' CHE 0

1

0 :

. . .

: 1

0

1

1 1 OPPURE _

oppure

. .

.

REGOLE ELEMENTARI composizione RC

di di : RISPOSTA

DI

TEMPO

>

SERIE

1) IN TOTALE

RITARDO

>

i i

Mi

Ma

Mi Tutta

T

Ma tu =

> composta

> funzione

> se = Mz

< RITARDO

Ma >

RITARDO %

RITARDO

REALTÀ macchine

Massimo

PRENDERE Tutte

IN IL di

Bisognerebbe le

>

2) IN PARALLELO

Mi Mai

{

un

> un =

→

i I

I Iz

Max

sistema FUNZIONI

DI = ,

( >

i

µ

=

µ

> Ma ,

,

Ma

>

RETROAZIONE

3) IN Meli

i Ricorsiva

FUNZIONE

)

s

il

> =

µ ,

n

>

,

> Male

)

s = Min

Ma )

i

a mi

Mac = >

> PRESENTE

STATO

INTERNO

STATO 0

STRUTTURA RETE

UNA

DI

La È '

struttura appena

rete INTERCONNESSI viste

composta da modalita

di una secondo

BLOCCHI le

Può FORMALI

ESSERE IN

DESCRITTA ANCHE

SCHEMA LINGUAGGI

a Blocchi

COME o

LO È

schema interconnesse

INSIEME RETI

UN DI

cocico LOGICHE NB

Ad ' SCHEMI

HARDWARE

FISICA COMPONENTE ANCHE

Blocco UN

Realizzazione

associato che

n e lla

ve r r a For man descrivono logici

OCNI GLI

esistono coi

cincia

2809 21

RETE COMBINATORIA DIPENDONO D'INGRESSO

CONTEMPORANEI del

DAI

LOGICA del

VALORI di uscita

: SECNAV VALORI SECNALI

I solo

È BINARIE

COMPORTAMENTO

IL DESCRITTO DA FUNZIONI

loro

UNA f- { }

B

"

B

È "

tutte FORMATE

( l ' le

FUNZIONE 2-

COPPIE

COMPLETAMENTE ORDINATE CONFIGURAZIONE

INSIEME

2- di C-

VARIABILI 2

) ✗

BINARIE DA

×

X

SPECIFICATA c-

2-

DI UNA

✗ ✗

= n

2

, , >

,

> .

. .

,

CIOÈ

(

delle ) CORRISP

DI INDIPENDENTI

n ✗ VARIABILE

VARIABILI VALORE

Xi DIPENDENTE

DELLA

VALORI ✗ dal

e 2-

✗ n

2 .

e .

.

. ,

, ,

UNA Funzione può essere i

descritta con È

" KAIZMAUCH

'

TABELLA VERITA MAPPA

✓

Descrizione TABELLARE FUNZIONE

UNA

DI

BINARIE

VARIABILI

DI

FUNZIONI "

B

'

INCOMPLETE FUNZIONI DOMINIO

VARIABILI

DI sottoinsieme

: DI

E un

n IL CUI È INPUT

"

SPECIFICATO

FUNZIONI PER

BINARIA

VARIABILE

della

CUI 2

RISULTATO NON DEI

UNO

IN IL ✓

RAPPRESENTAZIONE

La bit bit

DEF '

DISTANZA VALORE

n DIVERSO

BINARIE DI Bidimensionale

TRA HANNO

Numero della

CHE

configurazioni di

e CHI TABELLA

due il onoro

. ,

Due bit '

della verita

DIFFERISCONO DI 3,2

BINARIE PER

CHE

configurazioni UNA

UN funzione

dicono adiacenti VARIABILI

si 2

di , ,

sono STATI

valori BORDI

ELENCATI SUI

cui

i ,

[ consecutive

CHE CONFIGURAZIONI

MANIERA

111 ACENIT IN

101 DUE

ad

E sono

S /

. ( )

1 siano adiacenti

'

siano distanza

a cioe

distanza 2

110 Hanno

000 E

Massima È

055 CONFIGURAZIONI

distanza DUE

TRA CUNCHEZZA

DI

la n n

.

"

[ 1

o

b VARIABILI

S FUNZIONE 2

in

. 1

O 0

1 1

1

F QUESTA

b) b)

(G)

-2 Ma ' L' ELEMENTARE

DESCRI

= della OPERATORE

✗ 02

TABELLA

= verita COCICO

Adiacenza

Prop celle

delle

. Due È

cene distanza dette

1 adiacenti

a cui sono

IN MAPPA CHE CELLE

OCNI DESCRIVE CELLA

FUNZIONE adiacenti

VARIABILI n

HA

DI

UNA OCNI

n

GRAFICAMENTE KARNAUCH '

comune

MAPPA aventi

SI una

adiacenti celle stessa

ESTREMITA

LATO

in UN IN

una le all'

sono Rica

o colonna

di o

ULTERIORE IN

NEL MAPPE

CELLE CASO

sono LE

MAPPE CUI

OCCUPANO

ADIACENTI stessa

CHE siano

ADIACENTI

posizione

REGOLA la

: sotto

in - ,

4

UN' ESTENZIONE MACCIO DI

VARIABILI

A RI

✓

[ S VARIABILI

s

. <

6 VARIABILI 1 >

a

>

1

distanza

* > t

DESCRIZIONE DELLA STRUTTURA

( COMBINATORIE

E E

BLOCCHI

RETI FATTE

SONO SERIE PARALLELO

DI INTERCONNESSI IN

IN 0

NON AZIONI

RETRO

SONO NELLA struttura DELLE

CI COMBINATORIE

RETI

SINTESI > SCHEMA

TABELLA VERITÀ

DELLA LOGICO

' 1

t PUÒ

analisi ( )

GATE INTERCONNESSI

essere ELEMENTARI

da operatori

costituito cocce

> -

OPERAZIONE

VIENE ALGEBRA

DI

una

ad

QUALI

DEI associato

UNO

OCN ✓

LE della

OPERAZIONI Prodotto COMPLEMENTAZIONE

E

COMUNICAZIONE

ALCEBRA sono somma

DELLA COCICO

LOGICO ,

Ci NOT

OR

AND

CREATI corrispondenti

ESPRESSIONI Blocchi

i chiamano e

si ,

L'

CON ALGEBRA

SINTETIZZANO GLI

CHE LOGICI

SCHEMI ENTITÀ

ENTITÀ strutturale DELLA

DELLA descrizione DESCRIZIONE ALGEBRICA

BINARIE

VARIABILI

< >

SECNAU BOOLEANE

FUNZIONI

<

BLOCCHI >

GATE >

a operazioni crociate

schema ESPRESSIONE

>

a

cocico BOOLEANA

ALGEBRA DELLA COMMUTAZIONE

SISTEMA '

CONSENTE CONSENTE

sintesi

MATEMATICO QUINDI DALLA

E PASSARE

DI TABELLA

ESEGUIRE COMBINATORIE

RETI

CHE SCHEMA E VICEVERSA

di VERITA

LOGICHE allo

l' DI

la COCICO

DELLA

analisi e ,

Essa VIENE LE

DEFINITA DEFINISCONO

ASSEGNANDO DELL' DELLE

COMPORTAMENTO

CHE OPERAZIONI

OPERAZIONI ALCEBRA OPERAZIONI AGISCONO

SIMBOU POSTULATI

le IL

E

su I

cui

i

, AND

CATE

ESISTE E OR

OPERAZIONI dell' NOT

|

LE DI

CORRISPONDENZA

UNA ACCEBRA

BIUNIVOCA TRA COMMUTAZIONE E

055 ,

. VIENE

GATE ELETTRONICO

CIRCUITO DIGITALE

REALIZZATO

OCNI UN

CON

"

( È OPERAZIONI (0,1

DI

INSIEME 3

ACCEBRA SIMBOU

della commutazione E )

2

DI

UN

Costanti

1) 0,1

:

VARIABILI

2) SOSTITUIBILI 1

SIMBOLI CON 0 con

: o

3) OPERAZIONI TX

E

'

17 complimenta 2- 2-

2-

×

zione = =

=

: , ,

Realizzazione

Funzione

Postulati z

✗

O' 1

= [

1 0 ×

11=0 2-

a

o NOT

OPERATORE

SOMMA V9

+9 2-

2- ✗

2) LOGICA ✗

= =

: , Realizzazione

Funzione

Postulati 9 Z

✗

0+0=0 ✗

0+1=1 0

0 0 È

1

° 1

1+0=1 Z 0,9

la FUNZIONE Max )

y

1 1

1+1=1 0 ^

1 1 1 OR

OPERATORE

3) Prodotto 2- 19

✗ 3 ✗

2-

logico : = =

- , Realizzazione

Funzione

Postulati 9

0.0 z

✗

o

= ✗

0.1 0

= 0

0 0 ' »

E (

FUNZIONE X

la Min

0

1

1- 0 = 0 0 z ,

0

1 0

1

1

1. = y

1

11 OPERATORE AND

> TRA L' USCITA dell' OPERATORE ACCEBRICA

Risultato dell'

COC OPERAZIONE

ed

/ c o il

7

AND

GATE

ESISTE E OR

OPERAZIONI dell' NOT

I

LE DI

CORRISPONDENZA

UNA ACCEBRA

BIUNIVOCA TRA COMMUTAZIONE E

, t GATE DELL' ALCEBRICA

OPERAZIONE

OPERANDI

GLI

E

ENTRATA DEL

l '

TRA

ESPRESSIONE SEGUENTI

FINITA FORMATA

STRINCA costanti REGOLE

di PARENTESI

:

cocict LE

ACCORDO

E CON

IN

operazioni

VARIABILI :

, ,

1) 1 ESPRESSIONI

SONO

E

0 È

2) UNA VARIABILE espressione

un'

A '

' a

a

È

3) se un' espressione anche e

sono

lo

,

A A-

B B A -13

4) se espressioni

e anche E

+

sono

sono co

,

PROP ' PARENTESI

1) L' Rispetto

Prodotto

ESPRESSIONE PRIORITARIA OBBLICATORIE

somma LE

e alla sono

e

di non

. La AB A. B

notazione

2) indica

( l'

l e OPERAZIONI

ORDINE

omettendo

PARENTESI se CAMBIA APPLICATE

3) OBBLIGATORIE LE SONO

e SONO IN CUI

solo

D