Elementi di Logica
Booleana
Rossella Aiello
Elementi di algebra booleana
La logica booleana (o di Boole) opera su valori
booleani
costanti 0 e 1
variabili che possono assumere solo due valori (0 o
1).
Dato un insieme di variabili booleane E,
un’espressione logica è definita come:
un elemento di E
un elemento del tipo not A, A and B o A or B dove A
e B sono espressioni logiche.
AND
A AND B è vera
se e solo se
sia A sia B sono vere
OR
A OR B è vera se
è vera almeno una fra A e B.
NOT
NOT A è l’opposto di A,
• se A è vera, NOT A è falso,
• se A è falso, NOT A è vero.
Assiomi
Proprietà
Esempio Distributività (1)
Impiegati
1. del dipartimento ‘Produzione’
OR
2. (del dipartimento ‘Amministrazione’ AND Stipendio
annuo > 40.000)
equivale a:
Impiegati
1. (del dipartimento ‘Produzione’ OR del dipartimento
‘Amministrazione )
AND
2. (del dipartimento ‘Produzione’ OR
Stipendio annuo > 40.000)
Esempio Distributività (2)
IN SQL:
1. costo della camera compreso tra 60 e 85 Euro
AND
2. (la valutazione è di almeno 3 stelle OR non sono di
Napoli)
IN QBE:
1. costo della camera compreso tra 60 e 85 Euro
AND
la valutazione è di almeno 3 stelle
OR
2. costo della camera compreso tra 60 e 85 Euro AND
non sono di Napoli.
