Circuito booleano: differenze tra le versioni

Versione delle 03:44, 29 dic 2014

Versione delle 21:27, 28 mar 2016

Riga 1:

Un '''circuito 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]] 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'' bit di input e invia in output un singolo bit.