应用离散数学命题逻辑
PAGE
杭电-周丽、方景龙第一章PAGE3
第1章上机练习
编写下列程序并计算至少1个算例
1.已知命题变元和的真值,求它们的合取式、析取式、蕴涵式、等值式的真值。
解:
(1)运算规则说明
设命题变元为p、q(真值:True为真、False为假),四种核心逻辑运算规则:
合取式p∧q:p、q同时为真,结果为真,否则为假
析取式p∨q:p、q任意一个为真,结果为真,否则为假
蕴涵式p→q:仅当p为真、q为假时结果为假,其余情况均为真
等值式p?q:p、q真
您可能关注的文档
- 应用离散数学第4版 第2章谓词逻辑上机练习答案.doc
- 应用离散数学第4版第3章集合与关系上机练习答案.doc
- 应用离散数学第4版第4章代数结构上机练习答案.doc
- 应用离散数学第4版第5章图上机练习答案.doc
- 应用离散数学第4版第6章有向图上机练习答案.doc
- 应用离散数学(第4版)(微课版)习题及答案 习题1.1.doc
- 应用离散数学(第4版)(微课版)习题及答案 习题4.5.docx
- 应用离散数学(第4版)(微课版)习题及答案 习题5.3.docx
- 应用离散数学(第4版)(微课版)习题及答案 习题5.4.docx
- 应用离散数学(第4版)(微课版)习题及答案 习题6.3.docx
- 2025-2026学年广东省佛山市南海区、三水区八年级(上)期末数学试卷+答案解析.pdf
- 2025-2026学年广东省佛山市南海区、三水区九年级(上)期末数学试卷+答案解析.pdf
- 2025-2026学年广东省佛山市南海区、三水区七年级(下)期末数学试卷+答案解析.pdf
- 上海教育版七年级上册数学教案 第1套 10.2分式的基本性质_教案2.doc
- 2025-2026学年广东省佛山市南海区灯湖中学八年级(上)第二次调研数学试卷+答案解析.pdf
- 2025-2026学年广东省广州市番禺区金海岸实验学校八年级(上)期中数学试卷+答案解析.pdf
- 2025-2026学年广东省广州市番禺区桥城中学八年级(上)期中数学试卷+答案解析.pdf
- 2025-2026学年广东省广州市番禺区星海中学九年级(下)月考物理试卷+答案解析.pdf
- 2025-2026学年广东省广州市番禺区钟村中学八年级(上)期中数学试卷+答案解析.pdf
- 2025-2026学年广东省广州市番禺区毓贤学校八年级(上)期中数学试卷+答案解析.pdf
原创力文档

文档评论(0)