在离散数学中,什么是对偶式
的有关信息介绍如下:按照定义有在仅含联结词,地非,^,ˇ的命题公式A中,解另斗助督根相将V替换成^,^替换成V,若A中含0或1,就将0换成1,1换成0,所得命题公式A*称为A的对偶式,A设和A*互为对偶式。
对偶式:对于任何一个逻辑式Y,若将其中的“·”换成“+”,“+”换成“·”,0换成1,1换成0,则得到一个新的逻辑式Y',Y'就是Y的对偶式。显然Y和Y'互为对偶式。
扩展资料:
在命题逻辑中的对偶式:在仅含有联结词与(∧)、或(∨)、非(┐)的命题公式A中,将∨换成∧,∧换成∨,若A中还含有0或1,则还需将其中的0换成1,1换成0,,所得到的新命题公式A*就是A的对偶式。例如,命题公式A=┐(P∧0)室房着常的对偶式A*=┐(P∨1部风点读预仅析标石)。
若两个逻辑函数表达式F和G相等,则其对偶式F'和G含玉医客'也相等。这一规则称为对偶规则。根据对偶规则,当已证明某两个逻辑表达式相等时,便可知道它们的对偶式也相等。例如,已知AB+AC+BC=AB+AC投学系入洲。
参考资料来源:百度百科-对偶白巴罗财虽春蛋降补被式
版权声明:文章由 大问百书 整理收集,来源于互联网或者用户投稿,如有侵权,请联系我们,我们会立即处理。如转载请保留本文链接:https://www.dawenbaishu.com/article/173439.html