(S or (G and not S)) or not G。这如何简化？
((S or G) and ( S or not S )) or not G == > ( S or not S ) 是一个重言式，因此可以取消，给我们
(S or G) or not G ==> G or not G 又是一个重言式，所以我们只剩下 S 了吗？我们是不是做错了什么？
【问题讨论】：
从boolean逻辑两个变量S和G可以取如下可能的值，输出归结为值1。
S G
---
0 0
0 1
1 0
1 1
输出：
(S || (G && !S)) || !G
0 0 1 1 = 1
0 1 1 0 = 1
1 0 0 1 = 1
1 1 0 0 = 1
编辑：上面用于导出给定表达式的方法是真值表和Karnaugh map。请检查两者之间的对应关系以及如何使用布尔简化来解决从 K-Map 生成的输出函数的链接。
【讨论】：
Output(S, G) 的函数，并使用代数Boolean Axioms 我们只是该函数。两种方法之间都有对应关系，这在上面的 wiki 网页中有清楚的解释。
真值表适用于具有少量非逻辑谓词的命题逻辑 (PL)（即没有量词、关系和身份的逻辑）语言。问题在于 n 个非逻辑项（所有带有 PL 的命题变量），您需要 2^n 次评估。
假设经典逻辑，另一种方法是分配成范式，然后您通常可以“读出”每个估值都是真实的。
(S or (G and ¬S)) or ¬G
((S or G) and (S or ¬S)) or ¬G（按分布）
(((S or G) or ¬G) and ((S or ¬S) or ¬G))（再次分配）
T（通过条款的决议-认为“阅读”）
为了解释这个“阅读”意味着什么：
这种合取范式中的所有子句都计算为真的，因为每个析取都包含至少一对phi 和¬phi 形式。
【讨论】：
这不只是 S 或 G 吗？
假设它们是重叠的，你想要 S，或者 G（没有与 S 的交集）或不是 G。这导致整个 S（包括与 G 的交集）和 G 没有与 S 的交集，这是 S&G 的总和。
如果我错了，请纠正我。
【讨论】：