離散數(shù)學(xué)-習(xí)題課省名師優(yōu)質(zhì)課賽課獲獎?wù)n件市賽課一等獎?wù)n件

第一章習(xí)題課一、

本章主要內(nèi)容及要求

1．

基本內(nèi)容

等值式與等值演算

基本等值式（24個公式）

主析取與主合取范式

聯(lián)結(jié)詞全功效集

判斷推理是否正確不一樣方法①真值表法②等值演算法③主析取范式法④結(jié)構(gòu)證實法1/102.

要求

深刻了解等值式概念

切記基本等值式名稱及內(nèi)容

了解簡單析取式、簡單合取式、析取范式、合取范式概念

深刻了解極小項、極大項概念、名稱及下角標與成真、成假賦值關(guān)系，并了解主析取范式與極小項關(guān)系

熟練掌握求主范式方法（真值表）

熟練掌握用公式主范式求公式成真、成假賦值及判斷公式類型及簡單應(yīng)用

會將任何公式化成任何聯(lián)結(jié)詞完備集中公式

2/10了解并記住推理形式結(jié)構(gòu)以下形式：

①(A1ùA2ù…ùAk)?B

②

前提：A1,A2,…,Ak

結(jié)論：B

熟練掌握判斷推理是否正確方法（如真值表法、結(jié)構(gòu)證實法等）

切記各條推理定律（內(nèi)容與名稱）

掌握附加前提證實法及歸謬法

3/101．已知命題公式A中含3個命題變項p,q,r，并知道它成真賦值為001,010,111,求A主析取范式和主合取范式.

答案

A主析取范式為m1

ú

m2

ú

m7

A主合取范式為M0

ù

M3

ù

M4

ù

M5

ù

M6

二、練習(xí)題4/102．在以下各聯(lián)結(jié)詞集中各求一個公式與A=q等值。

(1){

,}(2){,∧}(3){,∨}(4){}(5){}解:(1)Aqqq滿足要求(1)(2)A(q)∨q滿足要求(3)(3)A(q∧q)滿足要求(2)(4)Aq∨q(qq)(qq)滿足要求(4)(5)Aq∧q(qq)(qq)滿足要求(5)5/103、設(shè)計一個符合以下要求室內(nèi)照明控制線路：在房間門外、門內(nèi)及床頭分別裝有控制同一個電燈F3個開關(guān)A、B、C，當且僅當一個開關(guān)搬鍵向上或3個開關(guān)搬鍵向上時電燈亮。證實F邏輯關(guān)系可表示為A(BC)。分析：設(shè)A、B、C分別表示3個開關(guān)狀態(tài)命題變項，且開關(guān)搬鍵向上時對應(yīng)命題變項真值為1，開關(guān)搬鍵向下時對應(yīng)命題變項真值為0，于是有：F(A∧

B∧C)∨(A∧B∧C)∨(A∧

B∧C)∨(A∧B∧C)

(A∧((

B∧C)∨

(B∧C)))∨(A∧((

B∧C)∨(B∧C)))

(A∧(BC

))∨(A∧((

B∨

C)∧(B∨C)))

(A∧(BC

))∨(A∧((B∧C)∨(B∨C)))

(A∧(BC

))∨(A∧

(BC

))

A(BC)6/10

4．

用不一樣方法驗證下面推理是否正確.對于正確推理還要給出證實.

（1）

前提：?p?q,?q

結(jié)論：?p

（2）

前提：q?r,p??r

結(jié)論：q??p

7/10解

（1）答案：不正確

驗證答案，需將推理形式結(jié)構(gòu)改為另一個形式

(?p?q)ù?q??p(*)

只需證實(*)不是重言式

方法一

等值演算

(?p?q)ù?q??p

?

?((púq)ù?q)ú?p

?(?pù?q)úqú?p

?((?púq)ù(?qúq))ú?p

?

?púq

易知10是成假賦值，故(*)不是重言式，所以推理不正確.

8/10方法二

主析取范式法

經(jīng)過演算后可知

(*)

?

m0úm1úm3

未含m2,故(*)不是重言式.

方法三

真值表法

(*)真值表為:

p

q

(?p?q)ù?q??p

00

01

10

11

1

1

0

1

結(jié)論（不正確）是正確

方法四

直接觀察出10是成假賦值

9/10解（2）答案：推理正確

方法一

真值表法（自己做）

方法二

等值演算法（自己做）

方法三

主析取范式法（自己做）

方法四

結(jié)構(gòu)證實法

證實：