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