P<=>((p1&(p1vp2))=>p2)?