Indietro

ⓘ Condizione di indifferenza




                                     

ⓘ Condizione di indifferenza

Nel campo delle reti logiche e dellalgebra booleana le condizioni di indifferenza sono delle configurazioni degli ingressi di una rete che per un qualche motivo possono venire ignorati. Ciò solitamente avviene quando gli ingressi della rete in questione sono filtrati da un circuito più a monte che per costruzione non restituirà mai il valore di indifferenza. In tal caso si dice che la condizione non è osservabile. Se invece ad essere filtrata è luscita del circuito, può avvenire che qualora si presentasse la condizione di indifferenza in input, loutput sarebbe ignorato dal resto del sistema. In questo caso si definisce non misurabile.

Sostanzialmente, quando si presenta una condizione di dont care, loutput del circuito e della funzione che lo modella può essere scelto arbitrariamente. Se vi sono più condizioni di dont care ognuna di esse è indipendente dalle altre, ovvero per ognuna può essere scelto un valore di ritorno diverso.

Questo può essere utilizzato per ottimizzare i circuiti. Le dont care permettono di scegliere per ogni funzione booleana tra 0 ed 1 il valore più conveniente da restituire al presentarsi della condizione di indifferenza. Vengono così scelti i valori che permettono, tramite lapplicazione di algoritmi di minimizzazione appositi Mappa di Karnaugh o Quine McCluskey, di ottenere il circuito migliore secondo qualche giudizio di merito specifico.