Università di Padova -- Dipartimento di Biologia, Corso di Laurea in Biologia Molecolare, 1 anno -- Informatica e Bioinformatica (parte Informatica) docente: Ivilin Stoianov http://www.stoianov.it ESERCIZI SU ALGEBRA BOOLEANA I a) Semplificare la seguente espressione con i teoremi dell'algebra Booleana: b) Verificare la correttezza della soluzione con tabelle di verità c) Ottenere la forma canonica del tipo Somma dei Prodotti d) Ottenere la forma canonica del tipo Prodotto delle Somme a b bca c II Ottenere l’espressione logica della seguente tabella della verità (variabili: A, B, C; funzione: F) A B C F 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 III a) Si semplifichi la seguente espressione applicando le proprietà e i teoremi dell'algebra booleana b) si disegni il circuito che realizza l'espressione semplificata c) Ottenere la forma canonica del tipo Somma dei Prodotti a b c aac IV a) Utilizzando le proprietà nell'algebra booleana, dimostrare che le seguente relazioni sono identici: b) Verificare la equivalenza anche con tabelle di verità b a b c = a c b c bc abbcac =abbcac a bc b c b= c a c b x y yz x z=x y yz x z