逻辑表达式，化简答案

【问题标题】：Logical expression, simplifying逻辑表达式，化简
【发布时间】：2018-11-14 23:15:57
【问题描述】：

我目前正在尝试学习如何简化逻辑表达式。但是我被困在了这个任务上，我要证明这个表达式要么是重言式，要么是矛盾的。我需要一些帮助来简化以下表达式：

（a 而不是 b）或（不是 a 或 b）

我不知道从哪里开始简化。如果有人能告诉我应该从哪条法律开始，我将不胜感激。

【问题讨论】：

你使用什么语言？
@AlexisVillar - 语言无关。它适用于任何具有if 或同等符号的语言。
也许是对的，但具体来说，如果我为python语言提供VBA解决方案，如果在这个问题上我们如何提供解决方案？而且，考虑到有人问他是否是编程的初学者先生？抱歉英语不好。 @RickSmith
@AlexisVillar - 唯一可以确定的是 OP 对 SO 来说是新的。但是，我发布了一个答案，应该说明为什么该语言是无关紧要的。
@AlexisVillar - 任务是证明......重言式或矛盾并告诉我应该从哪个定律开始。我已经为 OP 留下了更正式的证明，但我提供了所需的信息。我相信我已经回答了这个问题。

【解决方案1】：

我需要一些帮助来简化以下表达式：

（a 而不是 b）或（不是 a 或 b）

将德摩根定律的Substitution form 应用于第一部分，(a and not b) 变为
(not (not a or b)) 给出(not (not a or b)) or (not a or b)。

或者，对第二部分做同样的事情，(not a or b) 变成 (not (a and not b))
给(a and not b) or (not (a and not b))。

这导致tautology 的形式为第一个为“非 A 或 A”，第二个为“A 或非 A”，在上述每个常用表达式的 A 的 substitution 之后。

【讨论】：

哦，我没有想到这一点，因为在我们的课程文献中，德摩根定律被定义为：not(a or b) -> (not a and not b)。没有以您描述的方式使用它的示例。所以我基本上可以使用德摩根定律来交换表达式的内容？
啊，有道理！但我确实认为这是一个重言式！使用德摩根定律后，您可以使用反定律 -> 不是 a 或 a = T。因为 a 是 =（不是 a 或 b）！ :) 感谢您的帮助，澄清了很多！