(c) formula_52 si y solo si formula_25 o formula_54,