版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
11.5联结词全功能集
联结词全功能集与非联结词,或非联结词2联结词的全功能集定义
设S是一个联结词集合,如果任何n(n
1)元真值函数都可以由仅含S中的联结词构成的公式表示,则称S是联结词全功能集.说明:若S是联结词全功能集,则任何命题公式都可用S中的联结词表示.
设S1,S2是两个联结词集合,且S1
S2.若S1是全功能集,则S2也是全功能集.
反之,若S2不是全功能集,则S1也不是全功能集.3联结词全功能集实例定理{
,∧,∨}、{
,∧}、{
,∨}、{
,→}都是联结词全功能集.证明每一个真值函数都可以用一个主析取范式表示,故{
,∧,∨}是联结词全功能集.p∨q
(
p∧
q),故{
,∧}是全功能集.
p∧q
(
p∨
q),故{
,∨}是全功能集.p→q
p∨q,故{
,→}也是全功能集.4复合联结词
与非式:p
q(p
q)或非式:p
q(p
q)
和
与
,∧,∨有下述关系:
p
(p∧p)
p
pp∧q
(p∧q)
(p
q)
(p
q)
(p
q)p∨q
(
p∧
q)
(
p)
(
q)
(p
p)
(q
q)5
p
p
pp∧q
(p
p)
(q
q)p∨q
(p
q)
(p
q)定理{
},{
}是联结词全功能集.可以证明:{∧,∨}不是全功能集,从而{∧},{∨}也不是全功能集.复合联结词(续)
6例例
将公式p∧
q化成只含下列各联结词集中的联结词的等值的公式.(1){
,∨};(2){
,→};(3){↑};(4){↓}.解(1)p∧
q
(
p∨q).(2)p∧
q
(
p∨q)
(p→q).(3)p∧
q
p∧(q↑q)
(
(p∧(q↑q)))
(p↑(q↑q))
(p↑(q↑q))↑(p↑(q↑q)).(4)p∧
q
(
p∨q)
(
p)↓q
(p↓p)↓q.组合电路逻辑门:实现逻辑运算的电子元件.与门,或门,非门.组合电路:实现命题公式的由电子元件组成的电路.7与门或门非门xx∧yx∨y
xyxyx组合电路的例子8(x∨y)∧
x的组合电路xyxyx第一种画法第二种画法例例
楼梯的灯由上下2个开关控制,要求按动任何一个开关都能打开或关闭灯.试设计一个这样的线路.解x,y:开关的状态,F:灯的状态,打开为1,关闭为0.不妨设当2个开关都为0时灯是打开的.
F=m0∧m3=(
x∧
y)∨(x∧y)9例(续)10设计组合电路步骤:1.构造输入输出表(问题的真值函数),2.写出主析取范式,3.化简.最简展开式:包含最少运算的公式例
当且仅当
x=y=z=1或
x=y=1且
z=0时输出1.F=m6∨m7=(x∧y
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 关于2026年一季度物流运输安排回复函(4篇)
- 公共场所地铁紧急停车预案
- 理货员操作管理水平考核试卷含答案
- 起重工岗前竞争考核试卷含答案
- 溶剂油装置操作工风险评估知识考核试卷含答案
- 偏钨酸铵制备工安全风险知识考核试卷含答案
- 2026重庆飞驶特人力资源管理有限公司招聘派往某机关事业单位从事相关辅助性工作3人笔试备考试题及答案详解
- 玻璃钢制品喷射工岗中学习考核试卷含答案
- 药物制剂工岗中生产安全水平考核试卷含答案
- 驳筑、集拆坨盐工操作规程考核试卷含答案
- 老年骨科患者跌倒风险评估与预防
- 黑马程序员课件Java
- 2025年滑板比赛免责协议书
- 2025年林业局招聘面试题及详解
- 中南大学青年长江候选人贺治国
- 妊娠风险管理课件
- 光伏安装施工合同
- 2024年云南省中考语文试题含答案
- 运营车辆管理制度
- 肾透明细胞癌疾病病理、症状表现、影像学表现及分期
- 医院培训课件:《肾囊性病变超声诊断》
评论
0/150
提交评论