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