( P-4 ) formula_73 si y solo si formula_74 o formula_75