Question

根据真值表写出逻辑函数的原理是什么？

根据真值表写出逻辑函数的原理是什么？不是方法，方法我知道，为什么把逻辑函数取1的乘积相加就得到逻辑函数，两者是怎样联系起来的

Answer 1

上述概念都是【逻辑代数】中的内容。【逻辑代数】是【数学】与【逻辑学】相结合的产物。【逻辑代数】中的内容，都可以在其中找到原始的解释：
1、数学解释：
　　【逻辑函数】是数学函数的一种，表示的是【逻辑变量】——取值范围为｛0，1｝的变量——间的对应关系。这种关系是通过【逻辑运算】建立的，所以，【逻辑函数】的一切性质，都是由【逻辑变量】和【逻辑运算】决定的。先说说【逻辑运算】：
①：【与——逻辑乘】：Y＝X1·X2·……·Xk；（k个逻辑变量连乘）
　　表示：Y＝1，当且仅当　X1、X2、……、Xk【全部等于1】；
②：【或——逻辑加】：Y＝X1＋X2＋……＋Xk；（k个逻辑变量连加）
　　表示：Y＝1，当且仅当　X1、X2、……、Xk【至少一个等于1】；
③：【非——逻辑非】：Y＝X′；（我用X′表示：X的非）
　　表示：Y＝1，当且仅当　X【等于0】；

逻辑函数的通用表达式为：
　　Y＝f（X1，X2，……，Xk）；——k元逻辑函数；
在【真值表】中，k元逻辑函数必然恰好具有：2＾k行。我们用：
　　v＝（x1，x2，……，xk）
来表示真值表某一行中全部自变量的【赋值组合】。 那么该行对应的函数值可记作：
　　Y＝f（v）；

　　我们知道，自变量的【赋值组合】唯一确定了Y的取值。根据每行中Y的不同取值（0或1），可将每行所对应的【赋值组合】分为两组：
　　A组：Y＝1；记作：A＝｛a1，a2，……，am｝；——设共有m行；
　　B组：Y＝0；记作：B＝｛b1，b2，……，bn｝；——设共有n行；
显然：m＋n＝2＾k；并且：
　　Y＝f（a1）＝f（a2）＝……＝f（am）＝1；
　　Y＝f（b1）＝f（b2）＝……＝f（bn）＝0；

　　另外，因为每个【赋值组合】都要取遍所有自变量，那么，每行的【赋值组合】必然可以对应一个【最小项】，构造规则如下：
　　①：如果Xi＝1；则使用【正变量】——Xi；
　　②：如果Xi＝0；则使用【反变量】——Xi′；
根据【逻辑乘】和【逻辑非】的运算性质，可知：使用此方法构造最小项，必然具有以下性质：
【1】可以构造出k个变量的全部【最小项】，它们恰好分别对应【真值表】中的每一行；
【2】每个【赋值组合】，恰好也是【唯一的】可以使相应【最小项】等于1的【赋值组合】；
　　根据【2】所确定的【赋值组合】与【最小项】间的一一对应关系，我们将该【逻辑函数】的所有的【最小项】也分为两组：
　　M＝｛A1，A2，……，Am｝；
　　N＝｛B1，B2，……，Bn｝；
其中的每个元素都是一个个的【最小项】；并且，我们规定M、N中元素的下标，与A、B中所对应的元素的下标是一致的。

现在，我们可以确定这样一种关系了：
　　　　　　Y＝f（v）＝1；
当且仅当：v∈A；
当且仅当：存在ai＝v∈A；（i是一个不确定的下标）
当且仅当：Ai＝1；显然：Ai∈M；
当且仅当：所有Aj＝Bl＝0；其中：Aj∈M且j≠i；Bl∈N；（j和l都是下标）

这也就是说：
　　Y＝1；当且仅当：M中【至少（事实上，也是恰好）有1个】最小项也等于1。
再根据【逻辑加】的运算性质，可知，Y必然满足以下等式：
　　Y＝A1＋A2＋……Am；
这，就是该【逻辑函数】的【标准与或式】。也就是根据【真值表】直接写出来的【逻辑表达式】。