|
4.2.1 - De Morgan
[I1]
[I2]
[E1]
[E2]
[E3]
[ES1]
[F1]
In aggiunta ai teoremi dell'algebra booleana visti precedentemente ve ne sono due particolarmente importanti, ovvero i teoremi di De Morgan. Questi teoremi, che devono la loro origine (e il loro nome) al matematico e logico britannico Augustus De Morgan, sono di grande utilità per la loro notevole applicazione nell'ambito dell'analisi dei circuiti logici.
Teorema di De Morgan
(X ∙ Y ∙ K ∙ Z)' = X' + Y' + … + Z'
Duale: (X + Y + K + Z)' = X' ∙ Y' ∙ … ∙ Z'
Teorema di De Morgan generalizzato
f (X, Y, …, Z, +, ∙ ) = f (X', Y' , …, Z', ∙ , +)
45/53
|
