Reti logiche/Introduzione: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 4:
==Limiti del modello==
Si può pensare a una rete logica come ad un sistema che abbia delle variabili binarie di ingresso e delle variabili binarie di uscita e che si occupi di associare agli [[w:stati di ingresso|stati di ingresso]] degli [[w:stati di uscita|stati di uscita]] secondo una legge prefissata.
È opportuno far notare che ad uno stato di ingresso non è necessariamente associato un unico stato di uscita. La legge che governa la rete può infatti prevedere che l'uscita sia influenzata dalla storia degli ingressi e non solo dall'ingresso attuale (nel primo caso si parlerà di [[w:rete logica combinatoria|rete logica combinatoria]], nel secondo di [[w:rete logica sequenziale|rete logica sequenziale]]).
Vale la pena mostrare sin d'ora i limiti di quanto detto. Nel sistema fisico reale non vi può essere contemporaneità tra due o più fenomeni (variazione dello stato di ingresso, variazione dello stato di uscita, variazione di stati intermedi, "intercettazione" della variazione dello stato di una variabile...); questo aspetto della realtà non è modellizzato. Sarà quindi necessario tenere in considerazione questo limite.