已知p:ab不等于0_a b=1