Python 3中的De Morgan Law

时间:2015-10-13 03:28:31

标签: python python-3.x logic

根据De Morgan法律:

¬(P ˄ Q) ↔ (¬P) ˅ (¬Q)
¬(P ˅ Q) ↔ (¬P) ˄ (¬Q)

在我运行的Python 3.5中:

A = True
B = True
x = not(A and B)==(not A) or (not B)
y = not(A or B)==(not A) and (not B)
print('x is :', x, '\ny is :' ,y)

返回:

x is : True 
y is : False

问题:为什么y是假的?

3 个答案:

答案 0 :(得分:1)

尝试添加一些括号 - ==的优先级高于or

以下是precedence table

答案 1 :(得分:0)

试试这个:

y = not(A or B)==((not A) and (not B))

正在评估

not(A or B) == (not A)

第一

答案 2 :(得分:0)

操作员优先级正在绊倒你。在Python中,==运算符的优先级高于not。表达式not a == b读作not (a == b)而不是(not a) == b,因为前者通常比后者更有用。

因此,您的y应如下所示:

y = (not(A or B)) == ((not A) and (not B))

您的x应该是这样的:

x = (not(A and B)) == ((not A) or (not B))

然后你会得到正确的结果。 (您的x也是错误的,并且出于错误的原因得到了True结果:它实际上正在评估(not ((A and B) == (not A)) or (not B),其中(not (True == False)) or False适用于True or False但是你实际上想要的是(not (A and B)) == ((not A) or (not B)),它适用于(not True) == (False or False),这适用于False == False。正如我所说,你的{{1}因错误的原因而得到x结果。)