Teorema dell'assorbimento

Nell'algebra di Boole vale il teorema dell'assorbimento, utilizzato nella sintesi e nell'analisi di un circuito combinatorio in elettronica digitale. Il teorema in realtà ne contiene due e i rispettivi duali e afferma che date due variabili booleane :

Primo teorema dell'assorbimento:

Secondo teorema dell'assorbimento:

DimostrazioniModifica

Dimostriamo il primo teorema:

 

e il suo duale si dimostra così:

 

Per quanto riguarda il secondo teorema, si ha:

 

e il suo duale si dimostra così:

 

Voci correlateModifica