Bè impari tutti quei concetti che sono fondamentali nell'informatica, le basi del booleanesimo per quel che mi ricordo ( presi un 28 sei anni fa ormai).

Tutta quella roba riguardo gli OR, gli AND, gli XOR, le tautologie, le implicazioni, le regole di Morgan (credo si chiamassero cosí).

Alla fine si derivava un albero logico complesso per dimostrarlo, applicando le regole di commutazione e robe varie sui "vero - falso" dimostravi i risultati o meno.

Purtroppo non ricordo altro
Comunque era facile