析取式和合取式

笔记 / 校内 / 离散

Word count: 212 | Reading time≈ 1 min

文字：命题变元及其否定的总称，如P,Q,¬R等
简单析取式，简单合取式：由有限个文字构成的逻辑语句
析取范式，合取范式：由有限个简单合取式的析取构成的逻辑语句；由有限个简单析取式的合取构成的逻辑语句
极大项，极小项：命题变元或它的否定之一恰好只出现一次，且下标从小到大排列的简单析取式；命题变元或它的否定之一恰好只出现一次，且下标从小到大排列的简单合取式
下标：使逻辑语句成立时，各个变量（按字母表顺序）的真值，以大端形式排列为二进制数，再转换为十进制数，这个十进制数就是下标

Copyright： Copyright is owned by the author. For commercial reprints, please contact the author for authorization. For non-commercial reprints, please indicate the source.