析取式和合取式

发布于 2021-09-14  53 次阅读


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