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