原创力文档- 0
- 0
- 约1.01万字
- 约 40页
- 2025-10-23 发布于广西
- 举报
作业2.11 p,q:0r,s:1(p?(q?r))?(r?s)(p?r)?(?q?s)(?p??q?r)?(p?q??r)(?p??q?r?s)?(p?q?r?s)1
2.2命题逻辑等值演算2.2.1等值式与等值演算等值式与根本等值式真值表法与等值演算法2.2.2联结词完备集真值函数联结词完备集与非联结词和或非联结词2
等值式3定义2.11若等价式A?B是重言式,则称A与B等值,记作A?B,并称A?B是等值式说明:(1)?是元语言符号,不要混同于?和=(2)A与B等值当且仅当A与B在所有可能
您可能关注的文档
最近下载
- 特殊作业安全管理制度(GB30871-2022).pdf VIP
- 心理治疗师中级试题及答案(二).pdf VIP
- 心理治疗师(心理治疗师中级)文档.docx VIP
- 心理治疗师考试复习重点笔记汇总名师资料.docx VIP
- 心理治疗师考试复习重点笔记汇总.pdf VIP
- 2024年卫生资格(中初级)-心理治疗(师)历年考题高频考点荟萃带答案.docx VIP
- 心理治疗师考试复习重点笔记汇总.doc VIP
- 09G901-5混凝土结构施工钢筋排布规则与构造详图(现浇混凝土板式楼梯)(OCR).pdf VIP
- 建筑工程图集 09G901-3：混凝土结构施工钢筋排布规则与构造详图（筏形基础、箱形基础、地下室结构、独立基础、条形基础、桩基承台）.pdf VIP
- 03G101-2：混凝土结构施工图平面整体表示方法制图规则和构造详图（现浇混凝土板式楼梯） conv.docx VIP
文档评论（0）