否定

(1)命题逻辑的一元联结词，记为“鸇”，它的真值表为<N><Z><math><table root=3/2 inc=0><tr><td> P </td><td> 鸇P </td></tr><tr line=hide><td> F </td><td> T </td></tr><tr><td> T </td><td> F </td></tr></table></math><N>(2)逻辑联结词。常用“鸇”表示，它联结一个逻辑公式<I>α</I>得到一个新的逻辑公式“鸇<I>α</I>”读作“非<I>α</I>”。“鸇<I>α</I>”为“真”当且仅当<I>α</I>为“假”。(3)在计算机中处理二进制数时，需要把1变为0，0变为1，所以减法可以用加法解决。这很重要，因为一台计算机虽然有巨大的处理能力，却只能做加法。参见TWO'S complement。(4)指将二态(二进制)信号或位模式转变成其相反状态的过程。例如从1001转变成0110。