NOT运算是什么

在逻辑中，NOT运算是一种操作，它将命题P带到另一个命题“非P”，写为¬P，当P为假时直观地解释为真，而当P为真时则为假。 因此，否定是一元（单一论证）逻辑连词。 它可以更普遍地用作对概念，命题，真值或语义值的操作。