⑴ 離散數學,求命題公式(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。