Teorema dell'assorbimento

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

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:

Dimostrazioni

[modifica | modifica wikitesto]

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 correlate

[modifica | modifica wikitesto]