XとYの否定論理積 X NAND Y は、NOT(X AND Y) として定義される。X OR Y をNANDだけを使って表した論理式はどれか。