Distributiva de la conjunción