逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。
命题的非可以有几种写法:
以上可以读做"不成立"或者"非"。
的真值表定义如下:
~即在的条件下,结论不成立。例如,如果代表命题“今天星期六”,则它的~代表命题“今天不是星期六”或“今天是星期日、一、二、三、四或五”。
~为真当且仅当为假。
逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。
命题的非可以有几种写法:
以上可以读做"不成立"或者"非"。
的真值表定义如下:
~即在的条件下,结论不成立。例如,如果代表命题“今天星期六”,则它的~代表命题“今天不是星期六”或“今天是星期日、一、二、三、四或五”。
~为真当且仅当为假。