También se demostró que las "leyes de distribución" de la lógica clásica,