离散数学习题与解答分析.docx

作业题与解答第一章19(2)、(4)、(6)21(1)、(2)、(3)19、(2)解答:(p→┐p)→┐q真值表如下:pq┐p┐qp→┐p(p→┐p)→┐q00111101101010010111000119、(4)所以公式(p→┐q)→┐q为可满足式解答:(p→q)→(┐q→┐p)真值表如下:pq┐p┐qp→q┐q→┐p(p→q)→(┐q→┐p)0011111011011110010011100111所以公式(p→q)→(┐q→┐p)为永真式19、(6)解答:((p→q)∧(q→r))→(p→r)真值表如下:pqrp→qq→rp→r(p→q)∧(q→r)((p→q)∧(q→r))→(p→r)0001111100111111010101010111111110001001101011011101000111111111所以公式((p→q)∧(q→r))→(p→r)为永真式21、(1)解答:┐(┐p∧q)∨┐r真值表如下:pqr┐p┐r┐p∧q┐(┐p∧q)┐(┐p∧q)∨┐r0001101100110011010111010111010010001011101000111100101111100011所以成假赋值为:01121、(2)解答:(┐q∨r)∧(p→q)真值表如下:pqr┐q┐q∨rp→q(┐q∨r)∧(p→q)00011110011111010001001101111001100101110011000101110111所以成假赋值为:010,100,101,11021、(3)解答:(p→q)∧(┐(p∧r)∨p)真值表如下:pqrp→qp∧r┐(p∧r)┐(p∧r)∨p(p→q)∧(┐(p∧r)∨p)0001011100110111010101110111011110000110101010101101011111111011所以成假赋值为:100,101第二章5、(1)(2)(3)6、(1)(2)(3)7、(1)(2)8、(1)(2)(3)5、求下列公式的主析取范式,并求成真赋值(1)(┐p→q)→(┐q∨p)?┐(┐p→q)∨(┐q∨p)?┐(┐(┐p)∨q) ∨(┐q∨p)?(┐p∧┐q)∨(┐q∨p)?(┐p∧┐q)∨(p∧┐q)∨(p∧q)?m0 ∨m2∨m3，所以00，10，11为成真赋值。(2)(┐p→q)∧(q∧r)?(┐┐p∨q)∧(q∧r)?(p∨q)∧(q∧r)?(p∧q∧r)∨(q∧r)?(p∧q∧r)∨(p∧q∧r)∨(┐p∧q∧r)?(p∧q∧r)∨(┐p∧q∧r)?m3∨m7，所以011，111为成真赋值。(3)(p∨(q∧r))→(p∨q∨r)?┐(p∨(q∧r))∨(p∨q∨r)?(┐p∧(┐q∨┐r))∨(p∨q∨r)?(┐p∧┐q)∨(┐p∧┐r)∨(p∨q∨r)?(┐p∧┐q)∨((┐p∧┐r)∨(p∨q∨r))?(┐p∧┐q)∨((┐p∨p∨q∨r)∧(┐r∨p∨q∨r))?(┐p∧┐q)∨(1∧1)?(┐p∧┐q)∨1?1?m0∨m1∨m2∨m3∨m4∨m5∨m6 ∨m7，所以000,001,010,011,100,101,110,111为成真赋值。7、求下列公式的主析取范式，再用主析取范式求主合取范式(1)(p∧q)∨r?(p∧q∧r)∨(p∧q∧┐r)∨(p∧r)∨(┐p∧r)?(p∧q∧r)∨(p∧q∧┐r)∨(p∧r∧q)∨(p∧r∧┐q)∨(┐p∧r∧q)∨(┐p∧r∧┐q)?(p∧q∧r)∨(p∧q∧┐r)∨(p∧┐q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)?m1∨m3∨m5∨m6∨m7 由主析取范式和主合取范式之间的关系，所以公式的主合取范式为：(p∧q)∨r?M0∧M2∧M4(2)(p→q)∧(q→r)?(┐p∨q)∧(┐q∨r)?(┐p∧(┐q∨r))∨(q∧(┐q∨r))?(┐p∧┐q)∨(┐p∧r)∨(q∧┐q)∨(q∧r)?(┐p∧┐q)∨(┐p∧r)∨(q∧r)?(┐p∧┐q∧┐r)∨(┐p∧┐q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)∨(p∧q∧r)∨(┐p∧q∧r)?(┐p∧┐q∧┐r)∨(┐p∧┐q∧r)∨(┐p∧q∧r)∨(p∧q∧r)?m0∨m1∨m3∨m7由主析取范式和主合取范式之间的关系，所以公式的主合取范式为：(p→q)∧(q→r)?M2∧M4∧M5∧M68、求下列公式的主合取范式，再用主合取范式求主析取范式(1)(p∧q)→q?┐(p∧q)∨q?(┐p∨┐q)∨q?┐p∨(┐q∨q)?┐p∨1?1该公式无主合取范式，所以公式的主析取范式为：(p∧q)→q?m0∨m1∨m2∨m3 (2)(p?q)→r?┐((┐p∨q)∧(p∨┐q))∨r?((p∧┐q)∨(┐p∧q))∨r?(((p∨(┐p∧q))∧(┐q∨(┐p∧