Definizione di algebra di commutazione o booleana. Assiomi (associatività, commutatività, distributività, elemento neutro, complemento) e proprietà (involuzione, idempotenza, elemento nullo, assorbimento, leggi di De Morgan) dell'algebra di commutazione. Variabili booleane e espressioni booleane. Espressioni equivalenti. Espressione duale ed espressione complementare di una espressione data. Verifica di identità.

-- AnnalisaMassini - 19 Oct 2005