A，B，AC和BC的命题公式
提问于 2015-09-16 09:26:56
我正在努力得到以下真值表的命题公式: A，B，AC，BC。
对于A和B，它很简单:a xor B但是，当您插入一个新的文字C.
我尝试使用Wolfram，输入真值表(A & ~B & C) x_x (~A &B& C) x_x_x (A &B&C)(A& ~B &C)(A&B&C) (~A &B&C)。但是，建议的最小形式是错误的，因为它们不考虑C。
有人能帮助用逻辑连接词(如(A或B) => C )在命题逻辑中表达这一点吗？谢谢!
回答 2
Stack Overflow用户
发布于 2015-09-16 09:38:13
您可以通过使用卡诺图来执行最小化(在其他方法中--这是最简单的方法，您必须引入一个虚拟变量D，并在结果中忽略它)。
不过，不考虑C的解决方案是正确的--只要C的计算结果为true，C的计算结果就无关紧要。我只是检查了一下，提醒自己卡诺地图是如何构造的。试着给自己画一个完整的真值表。
Stack Overflow用户
发布于 2015-09-16 10:51:28
我有答案
(A×B)和(C => (A或B))
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/32615007
复制相关文章
腾讯云开发者
