如何!(!A || B)应该简化

时间:2017-03-21 16:23:45

标签: logic

这是第一年的大学问题,但我无法解决这个问题。

!(!A || B)

简化是......?

我试过了

!(A || B) = !A && !B 

所以A =!A,B = B

!!A && B = A && !B

但它不起作用!任何想法?

3 个答案:

答案 0 :(得分:3)

你已经正确地做到了。什么“不起作用”?

!(!A || B)A && !B是等效的。您可以验证轻松比较真值表:

A  B  !A  !A || B  !(!A || B)
-  -  --  -------  ----------
0  0   1     1         0
0  1   1     1         0
1  0   0     0         1
1  1   0     1         0

A  B  !B  A && !B
-  -  --  -------
0  0   1     0   
0  1   0     0   
1  0   1     1   
1  1   0     0   

同样的结果。

答案 1 :(得分:3)

一般来说:

!(A || B) = !A && !B

在您的情况下,A"是" !A,所以你得到:

!(!A || B) = !(!A) && !B = A && !B

答案 2 :(得分:2)

如果您使用De Morgan法律,您可以非常简单地简化: https://en.wikipedia.org/wiki/De_Morgan%27s_laws

这种情况下的解决方案是A&& !乙