MAR 20151027 h10-12 Lezione 07 Aula F130 Edificio 8
Algebra di Boole
Identità fondamentali dell'algebra booleana. Principio di dualità. Teorema di De Morgan. Verifica con la tabella di verità delle identità fondamentali e del teorema di De Morgan. Complemento di una funzione. Teorema del Consesus e dimostrazione per via algebrica. Semplificazione algebrica delle funzioni booleane. Forme canoniche SOP e POS. Mintermini e maxtermini. Esempi.