sezione_3c
Differenze
Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
Entrambe le parti precedenti la revisioneRevisione precedenteProssima revisione | Revisione precedente | ||
sezione_3c [2022/01/07 11:39] – [2 Algebra di Boole] admin | sezione_3c [2023/02/23 13:59] (versione attuale) – [Proprietà e teoremi dell'algebra di Boole] admin | ||
---|---|---|---|
Linea 45: | Linea 45: | ||
|primo teorema assorbimento|`A+(A*B)=A`|`A*(A+B)=A`| | |primo teorema assorbimento|`A+(A*B)=A`|`A*(A+B)=A`| | ||
|secondo teorema assorbimento|`A+(bar A *B)=A+B`|`A*(bar A +B)= A*B`| | |secondo teorema assorbimento|`A+(bar A *B)=A+B`|`A*(bar A +B)= A*B`| | ||
- | |teorema di De Morgan|`bar(A+B)=bar A * bar B`|`bar (A*B)=bar A + bar B`| | + | |teorema di De Morgan((vale anche per 3 o più termini))|`bar(A+B)=bar A * bar B`|`bar (A*B)=bar A + bar B`| |
NB Quando si usano più operatori logici le precedenze sono: NOT -> AND -> OR | NB Quando si usano più operatori logici le precedenze sono: NOT -> AND -> OR | ||
Linea 145: | Linea 145: | ||
Volendo è possibile seguire una procedura per ridurre funzioni logiche espresse come somma di prodotti (o prodotto di somme) con sole porte NAND o NOR come negli esempi 8, 9 e 10. Per farlo bisogna: | Volendo è possibile seguire una procedura per ridurre funzioni logiche espresse come somma di prodotti (o prodotto di somme) con sole porte NAND o NOR come negli esempi 8, 9 e 10. Per farlo bisogna: | ||
- | * esprimere la funzione logica come somma di prodotti o come (prodotto di somme) | + | * esprimere la funzione logica come somma di prodotti o come prodotto di somme |
* fare una doppia negazione della funzione | * fare una doppia negazione della funzione | ||
* applicare il teorema di De Morgan per ottenere un' | * applicare il teorema di De Morgan per ottenere un' |
sezione_3c.txt · Ultima modifica: 2023/02/23 13:59 da admin