appunti/Logica/2020-03-26_2 Forme normali.pdf