Raciocínio Lógico

Considere as proposições X, Y e Z que seguem:

X: Ana é professora.

Y: Ana é mãe.

Z: Ana ficará feliz.

A expressão simbólica de se e somente se Ana for professora e mãe, ficará feliz é: