Proprietà dell'algebra di commutazione (involuzione, idempotenza, elemento nullo, assorbimento, leggi di De Morgan). Variabili booleane e espressioni booleane. Espressioni equivalenti. Espressione duale ed espressione complementare di una espressione data. Verifica di identità. Funzioni di commutazione.

Definizione di rete combinatoria. Relazione tra reti combinatorie ed espressioni booleane.

Espressioni booleane in forma normale disgiuntiva o SOP (somma di prodotti). Trasformazione di espressioni in forma normale SOP. Reti combinatorie AND-to-OR e loro relazione con le espressioni in forma normale disgiuntiva.

-- AnnalisaMassini - 06 Oct 2006