Aggiunta notazione
Iniziate operazione booleane
Cambiato nome file up-words
Aggiustate dimostrazioni
(Quasi) finito prodotto sincronizzato
Cambiato nome file
Modificata bibliografia