(a) formula_1 y formula_2 si y solamente si formula_3.