p(ab非)等于