(a) si no formula_37, entonces Conformula_38;