1) algebra booleana (espressioni booleane ed espressione complementare, funzioni booleane e corrispondenza espressioni/funzioni, forme canoniche - FCD e FCC - e forme normali - FND e FNC - con relativi problemi di unicita');

2) circuiti combinatori (porte logiche - NOT, AND, OR, NAND, NOR E XOR - e corrispondenza espressioni/circuiti, circuiti ALL-NAND e ALL-NOR con euristiche di semplificazione).

Gli esercizi con le relative soluzioni svolti in classe sono contenuti nel file allegato, al cui termine sono contenuti testi di esercizi simili da svolgere.

-- DanieleGorla - 24 Oct 2001