Conoscerai i concetti base dell'algebra delle proposizioni.

Sarai in grado di operare con i connettivi logici e le tabelle di verità;

Sarai in grado di verificare l'equivalenza logica delle espressioni booleane;

Conoscerai le leggi (o proprietà) dell'algebra booleana