Pp≡(p=>q)⋏(Q= >p)