NAND回路の論理式

NAND素子を用いた次の組合せ回路の出力 Z を表す式はどれか。ここで、論理式中の・は論理積、+は論理和、$\overline{X}$ は X の否定を表す。