Si formula_227 entonces formula_218 o formula_219