sabato 22 novembre 2008

Lezione Algebra di Boole : Proprietà e Teoremi (1/2)

Riepilogo e chiarimenti...

L'algebra di Boole si basa sui seguenti assiomi: L'operatore (·) è detto operatore di prodotto logico (AND).
L'operatore (+) è detto operatore di somma logica (OR).
L’operatore ( ¯ ) è detto operatore di complementazione logica (NOT).
Questi assiomi vanno accettati nella logica booleana e quindi non si devono interpretare secondo e regole matematiche abituali (sarebbe in questo caso assurdo porre 1 + 1 = 1).
Un'interpretazione circuitale a questi assiomi può essere data per mezzo della seguente figura:


Sfruttando le regole di quest'algebra è possibile esprimere, in forma sintetica, la funzione logica di un qualunque circuito, attraverso una sua espressione logica. Ad esempio l'espressione :


soddisfa la tabella della verità :


Nessun commento: