应用离散数学第4版第1章命题逻辑上机练习答案.doc

应用离散数学第4版第1章命题逻辑上机练习答案.doc

应用离散数学命题逻辑

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真

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档