逻辑表达，简化

Question

我目前正在学习如何简化逻辑表达式。但我被困在了这个任务上，如果我要证明这个表达要么是同义反复，要么是矛盾。我想要一些简化以下表达式的帮助：

(a而非b(或(非a或b(

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

Answer 1

我想帮助简化以下表达式：

(a而非b(或(非a或b(

将德摩根定律的置换形式应用于第一部分，(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))。

这导致了第一个形式为"not a or a"，第二个形式为为"a or not a"的重言式，在用a代替上述每个常用表达式之后。