P(AB)与P(AB上横杠)的关系