离散数学习题与解答..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 ∨m 2∨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∨m 7，所以 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)∨11m0∨m1∨m 2∨ m3∨m4∨m5∨m 6 ∨m 7，所以 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∨11 该公式无主合取范式，所以公式的 主析取范式为：(p∧q)→q m0∨m1∨m2∨m3 (2) (pq)→r┐((┐p∨q)∧(p∨┐q))∨r((p∧┐q)∨(┐