Circuito booleano: differenze tra le versioni

Versione delle 12:50, 24 apr 2013

Versione delle 12:54, 24 apr 2013

Riga 1:

Un '''Circuitocircuito Booleano''' è un modello matematico di [[computazione]] usato nello studio della [[teoria della complessità computazionale]]. Questi circuiti sono principalmente oggetto di studi nella [[complessità dei circuiti]] e sono dei tipi speciali di [[circuiti]]; un [[linguaggio formale (matematica)|linguaggio formale]] può essere deciso da una famiglia di circuiti Booleani, un circuito per ogni possibile lunghezza di input. In aggiunta, essi sono usati come modello formale per [[logica combinatoria]] in [[elettronica digitale]].

I circuiti Booleani sono definiti in termini di [[porte logiche|porte]] che essi contengono. Ad esempio, un circuito potrebbe contenere porte AND e OR [[funzioni binarie|binarie]] e porte NOT [[unarie]], o essere interamente descritti da [[porte NAND]] binarie. Ogni porta corrisponde a qualche [[funzione Booleana]] che prende ''k'' bits di input e invia in output un singolo bit.