这篇博客探讨了命题逻辑的基本概念，包括命题、否命题、合取、析取和异或等运算。还介绍了真值表、逻辑等价、条件语句以及可满足性的概念。此外，讲解了如何通过极小项和析取/合取范式解决命题运算问题。内容涵盖了逻辑推理的基础知识及其在信息技术中的应用。
命题的定义：
命题（proposition）：命题是一个陈述句（a declarative sentence）（也就是说，一个陈述事实的句子），它要么是真的，要么是假的，但不能两者兼而有之。
否命题：The negation（反面，对立面） of p, denoted（标记） by ¬p
命题的运算：
①合取（conjunction）：denoted by p ∧ q 当p、q两个命题同为true时取true，否则取false（and）
②析取（disjunction）：denoted by p ∨ q 当p、q两个命题有一个为true时取true，否则取false（or）
③异或（exclusive or）：denoted by p ⊕ q 当p、q取值不同时取true，相同时取false
真值表用于描述命题运算结果
最低0.47元/天 解锁文章
扫一扫
1万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
