表ではxもyも0のときだけzが1です。ORはどちらかが1なら1なので、その結果を反転するNOT(x OR y)が一致します。
これはNOR演算です。NOT(x AND y)なら片方だけ1でも出力1になり、表の0と一致しません。
