2.2.1　逻辑非

命题P的否定为¬P。逻辑非的建模非常简单，引入0-1变量x和y，分别表示P和¬P的真值，二者的关系如下：

x=1-y

上一章目录下一章