Question

求p→(q∧┐r)的主合取范式、主析取范式、成真赋值成假赋值以及判断命题公式类型.

Answer 1

通过等值运算

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.