P<=>((p1=>(p3&np3))=>np1)?
.