证明与,或,非三个基本逻辑可以表示任何逻辑关系?
来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:数学作业 时间:2024/07/19 22:12:42
证明与,或,非三个基本逻辑可以表示任何逻辑关系?
![证明与,或,非三个基本逻辑可以表示任何逻辑关系?](/uploads/image/z/15597948-12-8.jpg?t=%E8%AF%81%E6%98%8E%E4%B8%8E%2C%E6%88%96%2C%E9%9D%9E%E4%B8%89%E4%B8%AA%E5%9F%BA%E6%9C%AC%E9%80%BB%E8%BE%91%E5%8F%AF%E4%BB%A5%E8%A1%A8%E7%A4%BA%E4%BB%BB%E4%BD%95%E9%80%BB%E8%BE%91%E5%85%B3%E7%B3%BB%3F)
(1)任何逻辑关系,最终都可以在【真值表】中明确、唯一地表示出来;
(2)根据真值表,我们可以直接写出该“逻辑关系”的【标准与或式】;而【标准与或式】就是仅由与、或、非表示的.
方法是:
(1)真值表中,每一行都对所有的变量进行了赋值;这一组赋值,就确定了该逻辑关系的一个【最小项】:变量=1,则取【原变量】;变量=0,则取【反变量】.
(2)将所有【该逻辑关系等于1的那些行,所对应的最小项】,全部用【或】连接,就构成了此逻辑关系的【标准与或式】了.
(2)根据真值表,我们可以直接写出该“逻辑关系”的【标准与或式】;而【标准与或式】就是仅由与、或、非表示的.
方法是:
(1)真值表中,每一行都对所有的变量进行了赋值;这一组赋值,就确定了该逻辑关系的一个【最小项】:变量=1,则取【原变量】;变量=0,则取【反变量】.
(2)将所有【该逻辑关系等于1的那些行,所对应的最小项】,全部用【或】连接,就构成了此逻辑关系的【标准与或式】了.