在教科书中学习集合与逻辑运算定义NOT（否定，否定）是把一个输入的 0 和 1 互换的运算。解说它是只取一个输入的一元运算，与组合两个输入的运算形式不同。在集合中相当于不属于某集合的元素，即补集，在韦恩图中表示圆外侧的区域。类比每按一次就在点亮和熄灭之间切换的按钮。记忆钩子连续施加两次 NOT 就会回到原来的值（否定的否定即肯定）。