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

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

你指的是卡诺图吗？

Answer 2

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

编辑:以下是来自wiki的两种形式的示例(DNF =析取正常形式,KNF =合取范式):