Entre otros resultados, probó la conocida como identidad de Boole: