命题的标准化表示称为范式， 它能表达真值表所能提供的一切信息。
仅由有限个文字构成的析取式称作简单析取式。 仅由有限个文字构成的合取式称作简单合取式。
例如: P, ┐Q, P∨┐P, ┐P ∨ Q, ┐P ∨ ┐Q ∨ R 都是简单析取式， 析取就是表示或。
注: 只有 否定、或者两种符号，没有箭头、并且的析取式， 就是简单析取式。
P, ┐Q, P ∧ ┐ P, ┐P ∧ Q 都是简单合取式。
注： 只有否定、并且两种符号， 没有箭头、或者的合取式， 就是简单合取式， 合取就是表示并且。
简单析取式中不包含除 析取联结词之外的其他联结词。
简单合取式中不包含除 合取联结词之外的其他联结词。
在学习本章时，我们需要先了解知识结构图，如下图所示
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
小项与大项
一、 小项
n个命题元的简单合取式，称作布尔合取或极小项，简称为小项。 其中每个命题变元与它的否定不能同时存在，但该命题变元必须且仅出现一次， 或以变元的形式， 或以变元的否定形式。
两个命题变元P 和 Q构成的小项共有4个， 分别是: P∧Q, P∧ ┐Q, ┐P ∧ Q 和 ┐P ∧ ┐Q.
三个命题变元P、Q、R的小项共有8个， P∧Q∧R, P∧Q∧ ┐R, P∧┐Q∧R, ... 
一般来说， n个命题变元P1, P2, P3...Pₐ 共有2ⁿ 个小项。
设P、Q、R为三个命题变元， 真值T和F分别用 "1" 和 "0"来表示， 含三个命题变元的所有小项的真值表及对应的编码如表2.1所示。
表2.1 三个命题变元的小项的成真赋值及编码
二、 大项
n个命题变元 的简单析取式， 称作布尔析取或极大项， 简称为大项。 其中每个命题变元与它的否定不能同时存在， 但该命题变元必须且仅出现一次， 或以变元的形式，或以变元的否定形式。
两个命题变元P 和 Q构成的大项共有4个， 分别是: P∨Q, P ∨┐Q, ┐P ∨ Q 和 ┐P ∨ ┐Q.
三个命题变元P、Q、R的大项共有8个， P∨Q∨R, P∨Q∨┐R, P∨┐Q∨R, ...
一般来说， n个命题变元P1, P2, P3...Pₐ 共有2ⁿ 个大项。
设P、Q、R为三个命题变元， 真值T和F分别用 "1" 和 "0"来表示，
含三个命题变元的所有大项的成假赋值及对应的编码如表2.2所示。
表2.2 三个命题变元的大项的成假赋值及编码
三 根据上述，我总结得出结论：
四 光说不练是假把式，以下看几个题目
题1： 小项 P ∧ Q ∧R的编码为_____
解： 小项是指求 编码结果为1， 因为是并且关联， 所以只有 m₁₁₁
答案为 m₁₁₁
题2： 命题公式P ∨┐Q∨┐R对应的二进制编码大项为______
解： 大项是求 编码结果为0， 或者关联，所以只有 M₀₁₁
答案为 M₀₁₁
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/53865.html