Miniere e simmetrie: il potere dell’isomorfismo nel calcolo booleano