se X é y e A não é z, M é r ou S não é p.

se X é y e A não é z, M é r ou S é p.

se X é y e A é z, M é r e S não é p.

se X é y e A é z, M é r ou S é p.

se X não é y ou A é z, M não é r e S é p.