Simplificar expresiones con prop distributiva