(a) formula_79 y formula_80 si y solamente si formula_81.