Distributiva de la disyunción