Forma canonica (algebra di Boole)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d6/1leftarrow_blue.svg/18px-1leftarrow_blue.svg.png)
![Pagine da unire](http://upload.wikimedia.org/wikipedia/commons/thumb/5/52/Merge-arrows.svg/40px-Merge-arrows.svg.png)
![Nessuna nota a piè di pagina](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b7/Question_book_magnify.svg/45px-Question_book_magnify.svg.png)
Una forma canonica, detta anche forma normale, di una funzione booleana è una particolare espressione rappresentativa della funzione caratterizzata dall'essere una forma minima, standard e ricavabile sistematicamente utilizzando l'algoritmo di Quine-McCluskey.[1]
Per ogni funzione booleana di variabili esistono due forme canoniche:
- la prima forma canonica, detta anche forma normale disgiuntiva o somma di prodotti, che si presenta come la sommatoria dei mintermini associati alla funzione. Ovvero la somma di tutti quei prodotti logici che risultano affermati ciascuno per una particolare permutazione degli argomenti della funzione, e solo per quelle permutazioni la cui immagine è l'elemento vero.
- la seconda forma canonica, detta anche forma normale congiuntiva o prodotto di somme, che si presenta come la produttoria dei maxtermini associati alla funzione. Ovvero il prodotto di tutte quelle somme logiche che risultano negate ciascuna per una particolare permutazione degli argomenti della funzione, e solo per quelle permutazioni la cui immagine è l'elemento falso.
Per esempio data la funzione espressa dalla seguente tabella di verità, corredata dai mintermini e maxtermini associati:
A | B | C | Y | mintermine | maxtermine |
---|---|---|---|---|---|
0 | 0 | 0 | 0 | - | |
0 | 0 | 1 | 0 | - | |
0 | 1 | 0 | 1 | - | |
0 | 1 | 1 | 1 | - | |
1 | 0 | 0 | 0 | - | |
1 | 0 | 1 | 0 | - | |
1 | 1 | 0 | 1 | - | |
1 | 1 | 1 | 1 | - |
è possibile ricavare le espressioni somma di prodotti e prodotto di somme associate alla funzione semplicemente applicando le definizioni:
Queste due espressioni non sono tuttavia forme canoniche poiché non sono minime. Infatti applicando l'algoritmo di Quine-McCluskey è possibile individuare alcuni termini ridondanti e che quindi possono essere accorpati. Si ricavano quindi le seguenti espressioni minimizzate:
che sono le due forme canoniche della funzione .
Note
- ^ Forma canonica, in Treccani.it – Enciclopedie on line, Roma, Istituto dell'Enciclopedia Italiana.
Bibliografia
- M. Morris Mano, Charles R. Kime e Tom Martin, Reti logiche, a cura di Antonio Gentile, Filippo Sorbello e Salvatore Vitabile, traduzione di Silvia Franchini, et al., 5ª ed., Milano - Torino, Pearson, 2019, ISBN 978-88-919-0581-9.
Voci correlate
- Mintermine
- Maxtermine
- Mappa di Karnaugh
- Metodo di Quine-McCluskey
- Algebra di Boole
- Rete logica
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8d/Nuvola_apps_ksim.png/25px-Nuvola_apps_ksim.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/77/Computer_n_screen.svg/24px-Computer_n_screen.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)