Question

命题公式pvq的成真赋值为（），公式类型为（）

Answer 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。
命题公式是可满足式。