ESERCIZI ALGEBRA DI BOOLE

INFORMATICA
Liceo Scientifico opzione Scienze Applicate
ESERCIZI ALGEBRA DI BOOLE
ESERCIZIO 1: Dimostrare con le tavole di verità tutte le proprietà dell’algebra di Boole.
-
2 per la proprietà commutativa (AND e OR)
2 per la proprietà associativa (AND e OR)
2 per la proprietà distributiva (AND e OR)
2 per la proprietà dell’identità (AND e OR)
2 per la proprietà della complementarità (AND e OR)
2 per la proprietà dell’idempotenza (AND e OR)
2 per la proprietà della dominanza (AND e OR)
1 per la proprietà dell’involuzione
2 per la proprietà di De Morgan (AND e OR)
ESERCIZIO 2: Fare la tavola di verità per le seguenti espressione booleane, fare poi il relativo circuito
combinatorio con Logisim, e verificare la correttezza di entrambi.
-
y  ( x1 x2 )  x3
-
y  x1  x2  x2
-
y  ( x1 | x2 )  ( x1 x3 )
-
y  x1  x3 ( x2 x3 )
ESERCIZIO 3: Dimostrare con le tavole di verità l’uguaglianza delle seguenti espressioni booleane:
-
x1  x2  x1 x2  x1 x2
-
x1  x2  ( x1  x2 )( x1  x2 )