用于查找连接输入和输出的公式的算法

Question

我似乎记得已经学会了一种方法来找到连接表中输入和输出的公式。例如：

a b c | r
1 1 0 | 0
0 1 1 | 1
1 1 1 | 1

其中“r”是结果，a，b和c是输入。该方法涉及具有许多未知数的方程式，最终得到了解释所有的公式。 （这是一个没有意义的例子，因为r = c，但你明白了。）

但是，我不记得细节，也没有足够的关键字能够在网上找到它。教授这种方法的主题还包括很多布尔代数。

我知道这是一个模糊的问题，但是从价值表中找到公式的方法是什么呢？

Answer 1

您指的是Karnaugh maps吗？

Answer 2

有析取和结合的正常形态。根据您的需要，您可以从（完整）逻辑表构建它们，方法是通过ors或ands构建0或1结果的术语，并将这些术语与ands和ors（以及其他匹配为1或0）组合。这听起来更复杂。当你寻找联合或析取的正规形式时，Wiki / Google会给你一些例子。

编辑：以下是wiki中两种形式的示例（DNF =析取正常形式，KNF =合取范式）：

Answer 3

我认为你的意思是Cunjunctive Normal Form。不过，你需要完整的真值表。