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