P(a) Q(a)
!P(A) !Q(B)
P(A) !Z(B)
Q(B)

!Q(A) !Q(B)