逻辑表达式，简化

Question

我目前正在尝试学习如何简化逻辑表达式。 但是我被困在一项任务上，就是要证明该表达方式是重言式还是矛盾性。 我想要简化以下表达式的帮助：

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

我不确定从哪里开始。 如果有人能告诉我应该从哪条法律开始，我将非常感激。

Answer 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的形式为第一个为“ not A or A”，第二个为“ A or not A”，之后是A的substitution为每个表达式的共同表达以上。