⑴ 离散数学,求命题公式(pVr)→q的真值表,指出公式的成真赋值,并判断的类型.
通过等值运算
p→(q∧┐r)
<==>
┐p∨(q∧┐r)
<==>
(┐p∨q)∧(┐p∨┐r)
<==>
(┐p∨q∨r)∧(┐p∨q∨┐r)∧(┐p∨q∨┐r)∧(┐p∨┐q∨┐r)
<==>
(┐p∨q∨r)∧(┐p∨q∨┐r)∧(┐p∨┐q∨┐r)
<==>
m4∧m5∧m7
(主合取范式)
<==>
m0∨m1∨m2∨m3∨m6
(主析取范式)
由此可得成假赋值为100，101,111，成真赋值为000,001,010,011,110。