Eguaglianze notevoli. Forme delle funzioni booleane
Teorema di De Morgan
Logica: Il negato di una congiunzione è la disgiunzione dei negati e dualmente…
Il complemento di una somma è il prodotto dei complementi e, dualmente, il complemento di un prodotto è la somma dei complementi.
L’importanza della forma
Le forme elementari
Mintermini e Maxtermini
Data una funzione di n variabili:
Logica: equivalenza ed implicazione
Funzione equivalenza
“x è equivalente a y se e solo se dalla verità (falsità) di x discende la verità (falsità) di y”
Implicazione logica
“x implica y se e solo se dalla verità di x (antecedente) scaturisce necessariamente la verità di y (conseguente)”
L’implicazione è falsa se e solo se x è vera e y è falsa.
Implicante primo: Implicante che a sua volta non implica nessun altro implicante di f appartenente a I
Insiemi: implicanti primi
Implicanti
f1, f2, f3, f4Implicanti primi
f1, f3
Funzioni di due variabili – Forme NAND e NOR – Modulo 1
1. Algebra di Boole - Modulo 1
2. Algebra dei circuiti - Modulo 1
3. Eguaglianze notevoli. Forme delle funzioni booleane - Modulo 1
4. Funzioni di due variabili - Forme NAND e NOR - Modulo 1
5. Rappresentazione di funzioni booleane - Modulo 1
6. Funzioni XOR, EQ, parità e disparità - Modulo 2
7. Minimizzazione - Parte I - Modulo 2
8. Minimizzazione - Parte II - Modulo 2
9. Un tool per la minimizzazione - Esercitazione: display a 7 segm...
10. Reti combinatorie - Codifica e trasmissione di codici - Modulo ...
11. Macchine aritmetiche - Gli addizionatori - Modulo 2
12. Esercitazione sulle macchine combinatorie - Modulo 2
13. Reti universali e tempificazione - Modulo 3
14. Verso le reti sequenziali: Alee e sequenze - Modulo 3
15. Le Macchine Sequenziali - Reti Asincrone - Modulo 3
16. Progetto asincrono - Modulo 3
17. I Flip Flop
18. Macchine sequenziali sincrone - Modulo 3
19. Minimizzazione delle macchine sequenziali. Teoria - Modulo 4
20. Minimizzazione delle macchine sequenziali. Esempi ed esercizi -...
B. Fadini, A. Esposito, Teoria e Progetto delle Reti Logiche, Napoli Liguori Ed., II ed, 1994. Cap. I, par. 4,6,8
U. De Carlini, B. Fadini, Macchine per l'elaborazione delle informazioni, Napoli Liguori Ed., II ed., 1995 (Capitoli III e VII)
B. Fadini, N. Mazzocca, Reti Logiche – Complementi ed Esercizi, Napoli Liguori Ed. 1995
2. Algebra dei circuiti - Modulo 1
3. Eguaglianze notevoli. Forme delle funzioni booleane - Modulo 1
4. Funzioni di due variabili - Forme NAND e NOR - Modulo 1
5. Rappresentazione di funzioni booleane - Modulo 1
6. Funzioni XOR, EQ, parità e disparità - Modulo 2
7. Minimizzazione - Parte I - Modulo 2
8. Minimizzazione - Parte II - Modulo 2
9. Un tool per la minimizzazione - Esercitazione: display a 7 segm...
10. Reti combinatorie - Codifica e trasmissione di codici - Modulo ...
11. Macchine aritmetiche - Gli addizionatori - Modulo 2
12. Esercitazione sulle macchine combinatorie - Modulo 2
13. Reti universali e tempificazione - Modulo 3
14. Verso le reti sequenziali: Alee e sequenze - Modulo 3
15. Le Macchine Sequenziali - Reti Asincrone - Modulo 3
16. Progetto asincrono - Modulo 3
17. I Flip Flop
18. Macchine sequenziali sincrone - Modulo 3
19. Minimizzazione delle macchine sequenziali. Teoria - Modulo 4
20. Minimizzazione delle macchine sequenziali. Esempi ed esercizi -...
23. Registri a scorrimento - Modulo 4
24. Sistemi complessi e decomposizione - Modulo 4
I podcast del corso sono disponibili anche su iTunesU e tramite Feed RSS.