sezione_3c
Differenze
Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
Entrambe le parti precedenti la revisioneRevisione precedente | |||
sezione_3c [2023/02/16 07:34] – [Verifica dell'universalità dei NOR] 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 |
sezione_3c.txt · Ultima modifica: 2023/02/23 13:59 da admin