Resultado de la búsqueda: el condicional es distributivo por la izquierda con respecto a la disyuncion