Question

已知命题公式(-p∧q)→r求:(1)以上命题公式的主析取范式,主合取范式，成真赋值，成假赋值。该

Answer 1

问：已知命题公式(-p∧q)→r求:(1)以上命题公式的主析取范式,主合取范式，成真赋值，成假赋值。该命题公式的公式类型是什么

答：您好，很高兴为您解答命题公式是蕴涵式，成假赋值只有一种情况，是p真q∧┐r 假时，q∧┐r 假有三种情况，q,r都真或都假，或q假r真，所以命题公式的成假赋值是111,101,100，对应的十进制数是7,5,4，所以主合取范式是M4∧M5∧M7。成真赋值是000,001,010,011,110，主析取范式是m0∨m1∨m2∨m3∨m6。命题公式是可满足式。

答：命题逻辑系统中表示命题的公式。又称合式公式。以字母p，q，r，…表示命题变元，取∧，∨为命题联结符号（见命题演算），依下列规则构成的有限符号串是命题公式①单个命题变元是命题公式。②如果A，B是命题公式，则，（A«B） p，q，r 都是公式