NAND素子の組合せ回路

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