数理逻辑二次作业答案.pdfVIP

P38-3

◼(2)(p→(pq))(p→r)

(ppq)(pr)

1

◼永真式pqrpqp→(pq)p→rA

0000111

0010111

0101111

0111111

1001101

1011111

1101101

1111111

P38-3

◼(3)(pq)→(pr)

pqrpqpr(pq)→(pr)

000001

001001

010100

011100

100100

101111

110100

111111

◼非永真式的可满足式，成真赋值：000,001,101,111

P38-5

◼(1)(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r)(qr)

(pqr)(pqr)

m3m7

成真赋值011,111

P38-5

◼(3)(p(qr))→(pqr)

(p(qr))(pqr)

(p(qr))(pqr)

(ppqr)(qrpqr)

1

(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m2m3m4m5m6m7

成真赋值000,001,010,011,100,101,110,111

P38-6

◼