ALGEBRA di BOOLE
Premessa
Connettivi logici
Negazione (NOT)
Prodotto (AND)
Prododotto invertito (NAND)>
Somma (OR)
Somma Invertita (NOR)
Somma esclusiva (EXOR)
Funzioni logiche
Funzioni sequenziali e combinatorie
Rappresentazione funzioni combinatorie
Tavole di verita'


TAVOLE DI VERITA'

Il comportamento di un sistema combinatorio, oltre ad essere descritto algebricamente dalla relativa funzione, può essere descritto in forma tabellare da una tavola (o tabella) di verità.
Posto uguale ad N il numero delle variabili indipendenti (ingressi di una rete combinatoria), la tavola avra' 2N righe (ad es. per esprimere (variabile dipendente) in funzione delle variabili indipendenti e occorreranno 4 righe (2N=4) corrispondenti alle 4 combinazioni delle 2 variabili e ).
tavola1.gif (2165 byte)

Le colonne della tavola sono pari alla somma del numero delle variabili indipendenti e delle variabili dipendenti ( quindi, nel caso della variabile dipendente funzione delle variabili indipendenti e , si avranno complessivamente 3 colonne).

Le colonne relative alle variabili indipendenti vengono separate da una linea verticale dalla ( o dalle) colonne relative alle variabili dipendenti.

In testa alla tabella viene aggiunta una riga orizzontale riservata all' indicazione del nome delle variabili associate ad ogni colonna della tavola.

La tabella viene riempita scrivendo prima tutti i possibili valori binari delle variabili indipendenti (in genere , ad evitare confusione, conviene scrivere i valori nell ' ordine binario naturale, ad es. nel caso di due variabili indipendenti conviene scrivere i valori nell' ordine:
tavola1.gif (2165 byte)

successivamente nella colonna ( o nelle colonne) relativa alla variabile ( o alle variabili) dipendente (dipendenti) si scrivono i valori binari assunti da tale variabile (uscita) in corrispondenza dei rispettivi ingressi.

TABELLA RIASSUNTIVA: SIMBOLI GRAFICI PORTE LOGICHE E RELATIVE TAVOLE DI VERITA'

 

NOT(un ingresso, una uscita)

 

AND (due ingressi, una uscita)

 

NAND(due ingressi, una uscita)

 

OR (due ingressi, una uscita)

 

NOR (due ingressi, una uscita)

 

EXOR (due ingressi, una uscita)

s