Ejercicio: Probar que formula_1 e formula_2 son conjuntos disjuntos si y solo si formula_14.