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