否定論理積
NANDゲートなどの記事を参照。
否定論理積のベン図