Algebra di Boole L’algebra di Boole è un formalismo che opera su variabili (dette variabili booleane o variabili logiche o asserzioni) che possono assumere.

Presentazione sul tema: "Algebra di Boole L’algebra di Boole è un formalismo che opera su variabili (dette variabili booleane o variabili logiche o asserzioni) che possono assumere."— Transcript della presentazione:

1 Algebra di Boole L’algebra di Boole è un formalismo che opera su variabili (dette variabili booleane o variabili logiche o asserzioni) che possono assumere due soli valori: Vero Falso L’algebra booleana nasce come tentativo di definire in forma algebrica processi di tipo logico-deduttivo Tuttavia, poiché di fatto l’algebra di Boole opera su variabili binarie, i suoi operatori possono essere inclusi fra gli operatori dell’algebra binaria.

2 Algebra di Boole Sulle variabili booleane è possibile definire delle funzioni (dette funzioni booleane o logiche) e anch’esse possono assumere i due soli valori vero e falso. Le funzioni booleane possono essere definite tramite le tabelle di verità. Una tabella di verità di una funzione di N variabili ha 2N righe. 1 X2 X1 F X3

3 Operatori ed Espressioni Booleane
L’algebra di Boole si basa su un insieme di operatori: AND (indicato in genere dal simbolo × ) OR (indicato in genere dal simbolo + ) NOT (indicato in genere dal simbolo - ) XOR (indicato in genere dal simbolo  ) NAND (indicato in genere dal simbolo  ) NOR (indicato in genere dal simbolo  ) In realtà, qualunque funzione booleana può essere realizzata utilizzando 2 soli operatori: AND e NOT oppure OR e NOT

4 NOT - AND - OR Il risultato è la negazione della variabile
1 X NOT Il risultato è la negazione della variabile 1 X1 AND X2 Il risultato è 1 (Vero) se entrambe le variabili hanno valore 1 1 X1 OR X2 Il risultato è 1 (Vero) se almeno una delle variabili ha valore 1

5 XOR - NAND - NOR 1 X1 XOR X2 Il risultato è 1 (Vero) se una sola delle due variabili ha valore 1 1 X1 NAND X2 NAND (X1, X2) = NOT (AND (X1,X2)) 1 X1 NOR X2 NOR (X1, X2) = NOT (OR (X1, X2))

6 Interpretazione logica degli operatori
Gli operatori booleani possono essere utilizzati per rappresentare regole deduttive di tipo logico. Le variabili possono rappresentare dei “fatti” (evidenze) che possono essere dedotte le une dalle altre. Es. A = squame; B = nuota; C = pesce; C = A x B se ha le squame e nuota, allora è un pesce ( e viceversa ). In questo caso il segno = significa “ se e solo se ”. A -> B (se A è vero allora B è vero) vale solo in una direzione.

7 Interpretazione logica degli operatori
Se si ha una operazione del tipo: A * B (* indica una generica operazione), il risultato è vero se: * condizione OR A o B (o entrambe) sono vere AND sia A che B sono vere XOR A o B (ma non entrambe) sono vere

8

9

10

11

12

13

14 Funzioni logiche e calcolatori
Il calcolatore, oltre alle funzioni matematiche, può eseguire anche funzioni logiche che permettono di fare elaborazioni che operano anche sui singoli bit. Si esegue l’operazione fra bit in posizioni corrispondenti. Es. A = B = A x B

15 Funzioni logiche e calcolatori
Alle funzioni booleane si aggiungono anche altre funzioni che possono essere utili nella manipolazione di singoli bit. Importante è l’operazione di shift (scorrimento) Shift a destra (right shift) > Shift a sinistra (left shift) > Lo shift può anche fare scorrere il numero di più di una posizione.

16 Funzioni logiche e calcolatori
Se ho un byte col seguente contenuto: e voglio il valore del bit più significativo posso fare un AND con seguito da uno shift a destra di 7 posizioni > Il bit più significativo è 1