新建
上传
首页
助手
最?/div>
资料?/div>
工具

第一章部分课后习题参考答?/p>

 

 

16 

?/p>

p

?/p>

q

的真值为

0

?/p>

r

?/p>

s

的真值为

1

,求下列各命题公式的真值?/p>

 

 

?/p>

1

?/p>

p

?/p>

(q

?/p>

r)

?/p>

 

0

?/p>

(0

?/p>

1) 

?/p>

0   

 

?/p>

2

?/p>

?/p>

p

?/p>

r

)∧

(

?/p>

q

?/p>

s) 

?/p>

?/p>

0

?/p>

1

)∧

(1

?/p>

1) 

?/p>

0

?/p>

1

?/p>

0. 

 

?/p>

3

?/p>

?/p>

?/p>

p

?/p>

?/p>

q

?/p>

r

?/p>

?/p>

(p

?/p>

q

∧﹁

r) 

?/p>

?/p>

1

?/p>

1

?/p>

1

?/p>

 

?/p>

 (0

?/p>

0

?/p>

0)

?/p>

0 

(4)

?/p>

?/p>

r

?/p>

s

)→

(p

?/p>

?/p>

q) 

?/p>

?/p>

0

?/p>

1

)→

(1

?/p>

0) 

?/p>

0

?/p>

0

?/p>

1 

17

.判断下面一段论述是否为真:

?/p>

?/p>

是无理数。并且,如果

3

是无理数,则

2

也是?/p>

理数。另?/p>

6

能被

2

整除?/p>

6

才能?/p>

4

整除?/p>

?/p>

 

答:

p: 

?/p>

是无理数

 

 

1 

 

 

 

 

 

 

 

q: 

 

3

是无理数

 

 

0 

 

 

 

 

 

 

 

r: 

2

是无理数

 

 

1 

 

 

 

 

 

 

 

 

s:

 

6

能被

2

整除

 

 

1 

t: 

 

6

能被

4

整除

 

 

0 

 

 

 

 

 

 

命题符号化为?/p>

 

p

?/p>

(q

?/p>

r)

?/p>

(t

?/p>

s)

的真值为

1

?/p>

所以这一段的论述为真

?/p>

 

19

.用真值表判断下列公式的类型:

 

?/p>

4

?/p>

(p

?/p>

q) 

?/p>

(

?/p>

q

?/p>

?/p>

p) 

?/p>

5

?/p>

(p

?/p>

r) 

?/p>

(

?/p>

p

?/p>

?/p>

q) 

?/p>

6

?/p>

((p

?/p>

q) 

?/p>

(q

?/p>

r)) 

?/p>

(p

?/p>

r) 

答:

 

 

?/p>

4

?/p>

 

 

 

 

 

 

 

 

 

 

p 

 

 

 

 

q 

 

 

 

p

?/p>

q 

 

 

 

?/p>

q 

 

 

?/p>

p 

 

 

?/p>

q

?/p>

?/p>

p 

 

 

 

 

(p

?/p>

q)

?/p>

(

?/p>

q

?/p>

?/p>

p) 

 

 

 

 

 

 

 

 

 

0 

 

 

 

 

0 

 

 

 

 

 

1 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

0 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

0 

 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

0 

 

 

 

 

 

0 

 

 

 

 

1 

 

 

 

 

 

0 

 

 

 

 

 

0 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

0 

 

 

 

 

 

0 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

所以公式类型为永真?/p>

 

//

最后一列全?/p>

1 

?/p>

5

)公式类型为可满足式(方法如上例?/p>

//

最后一列至少有一?/p>

1 

?/p>

6

)公式类型为永真式(方法如上例)

// 

第二章部分课后习题参考答?/p>

 

3.

用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求?/p>

成真赋?/p>

. 

Ͼλ
新建
上传
首页
助手
最?/div>
资料?/div>
工具

第一章部分课后习题参考答?/p>

 

 

16 

?/p>

p

?/p>

q

的真值为

0

?/p>

r

?/p>

s

的真值为

1

,求下列各命题公式的真值?/p>

 

 

?/p>

1

?/p>

p

?/p>

(q

?/p>

r)

?/p>

 

0

?/p>

(0

?/p>

1) 

?/p>

0   

 

?/p>

2

?/p>

?/p>

p

?/p>

r

)∧

(

?/p>

q

?/p>

s) 

?/p>

?/p>

0

?/p>

1

)∧

(1

?/p>

1) 

?/p>

0

?/p>

1

?/p>

0. 

 

?/p>

3

?/p>

?/p>

?/p>

p

?/p>

?/p>

q

?/p>

r

?/p>

?/p>

(p

?/p>

q

∧﹁

r) 

?/p>

?/p>

1

?/p>

1

?/p>

1

?/p>

 

?/p>

 (0

?/p>

0

?/p>

0)

?/p>

0 

(4)

?/p>

?/p>

r

?/p>

s

)→

(p

?/p>

?/p>

q) 

?/p>

?/p>

0

?/p>

1

)→

(1

?/p>

0) 

?/p>

0

?/p>

0

?/p>

1 

17

.判断下面一段论述是否为真:

?/p>

?/p>

是无理数。并且,如果

3

是无理数,则

2

也是?/p>

理数。另?/p>

6

能被

2

整除?/p>

6

才能?/p>

4

整除?/p>

?/p>

 

答:

p: 

?/p>

是无理数

 

 

1 

 

 

 

 

 

 

 

q: 

 

3

是无理数

 

 

0 

 

 

 

 

 

 

 

r: 

2

是无理数

 

 

1 

 

 

 

 

 

 

 

 

s:

 

6

能被

2

整除

 

 

1 

t: 

 

6

能被

4

整除

 

 

0 

 

 

 

 

 

 

命题符号化为?/p>

 

p

?/p>

(q

?/p>

r)

?/p>

(t

?/p>

s)

的真值为

1

?/p>

所以这一段的论述为真

?/p>

 

19

.用真值表判断下列公式的类型:

 

?/p>

4

?/p>

(p

?/p>

q) 

?/p>

(

?/p>

q

?/p>

?/p>

p) 

?/p>

5

?/p>

(p

?/p>

r) 

?/p>

(

?/p>

p

?/p>

?/p>

q) 

?/p>

6

?/p>

((p

?/p>

q) 

?/p>

(q

?/p>

r)) 

?/p>

(p

?/p>

r) 

答:

 

 

?/p>

4

?/p>

 

 

 

 

 

 

 

 

 

 

p 

 

 

 

 

q 

 

 

 

p

?/p>

q 

 

 

 

?/p>

q 

 

 

?/p>

p 

 

 

?/p>

q

?/p>

?/p>

p 

 

 

 

 

(p

?/p>

q)

?/p>

(

?/p>

q

?/p>

?/p>

p) 

 

 

 

 

 

 

 

 

 

0 

 

 

 

 

0 

 

 

 

 

 

1 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

0 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

0 

 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

0 

 

 

 

 

 

0 

 

 

 

 

1 

 

 

 

 

 

0 

 

 

 

 

 

0 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

0 

 

 

 

 

 

0 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

所以公式类型为永真?/p>

 

//

最后一列全?/p>

1 

?/p>

5

)公式类型为可满足式(方法如上例?/p>

//

最后一列至少有一?/p>

1 

?/p>

6

)公式类型为永真式(方法如上例)

// 

第二章部分课后习题参考答?/p>

 

3.

用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求?/p>

成真赋?/p>

. 

">
新建
上传
首页
助手
最?/div>
资料?/div>
工具

第一章部分课后习题参考答?/p>

 

 

16 

?/p>

p

?/p>

q

的真值为

0

?/p>

r

?/p>

s

的真值为

1

,求下列各命题公式的真值?/p>

 

 

?/p>

1

?/p>

p

?/p>

(q

?/p>

r)

?/p>

 

0

?/p>

(0

?/p>

1) 

?/p>

0   

 

?/p>

2

?/p>

?/p>

p

?/p>

r

)∧

(

?/p>

q

?/p>

s) 

?/p>

?/p>

0

?/p>

1

)∧

(1

?/p>

1) 

?/p>

0

?/p>

1

?/p>

0. 

 

?/p>

3

?/p>

?/p>

?/p>

p

?/p>

?/p>

q

?/p>

r

?/p>

?/p>

(p

?/p>

q

∧﹁

r) 

?/p>

?/p>

1

?/p>

1

?/p>

1

?/p>

 

?/p>

 (0

?/p>

0

?/p>

0)

?/p>

0 

(4)

?/p>

?/p>

r

?/p>

s

)→

(p

?/p>

?/p>

q) 

?/p>

?/p>

0

?/p>

1

)→

(1

?/p>

0) 

?/p>

0

?/p>

0

?/p>

1 

17

.判断下面一段论述是否为真:

?/p>

?/p>

是无理数。并且,如果

3

是无理数,则

2

也是?/p>

理数。另?/p>

6

能被

2

整除?/p>

6

才能?/p>

4

整除?/p>

?/p>

 

答:

p: 

?/p>

是无理数

 

 

1 

 

 

 

 

 

 

 

q: 

 

3

是无理数

 

 

0 

 

 

 

 

 

 

 

r: 

2

是无理数

 

 

1 

 

 

 

 

 

 

 

 

s:

 

6

能被

2

整除

 

 

1 

t: 

 

6

能被

4

整除

 

 

0 

 

 

 

 

 

 

命题符号化为?/p>

 

p

?/p>

(q

?/p>

r)

?/p>

(t

?/p>

s)

的真值为

1

?/p>

所以这一段的论述为真

?/p>

 

19

.用真值表判断下列公式的类型:

 

?/p>

4

?/p>

(p

?/p>

q) 

?/p>

(

?/p>

q

?/p>

?/p>

p) 

?/p>

5

?/p>

(p

?/p>

r) 

?/p>

(

?/p>

p

?/p>

?/p>

q) 

?/p>

6

?/p>

((p

?/p>

q) 

?/p>

(q

?/p>

r)) 

?/p>

(p

?/p>

r) 

答:

 

 

?/p>

4

?/p>

 

 

 

 

 

 

 

 

 

 

p 

 

 

 

 

q 

 

 

 

p

?/p>

q 

 

 

 

?/p>

q 

 

 

?/p>

p 

 

 

?/p>

q

?/p>

?/p>

p 

 

 

 

 

(p

?/p>

q)

?/p>

(

?/p>

q

?/p>

?/p>

p) 

 

 

 

 

 

 

 

 

 

0 

 

 

 

 

0 

 

 

 

 

 

1 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

0 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

0 

 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

0 

 

 

 

 

 

0 

 

 

 

 

1 

 

 

 

 

 

0 

 

 

 

 

 

0 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

0 

 

 

 

 

 

0 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

所以公式类型为永真?/p>

 

//

最后一列全?/p>

1 

?/p>

5

)公式类型为可满足式(方法如上例?/p>

//

最后一列至少有一?/p>

1 

?/p>

6

)公式类型为永真式(方法如上例)

// 

第二章部分课后习题参考答?/p>

 

3.

用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求?/p>

成真赋?/p>

. 

Ͼλ">
Ͼλ
Ŀ

屈婉玲版离散数学课后习题答案??- 百度文库
新建
上传
首页
助手
最?/div>
资料?/div>
工具

第一章部分课后习题参考答?/p>

 

 

16 

?/p>

p

?/p>

q

的真值为

0

?/p>

r

?/p>

s

的真值为

1

,求下列各命题公式的真值?/p>

 

 

?/p>

1

?/p>

p

?/p>

(q

?/p>

r)

?/p>

 

0

?/p>

(0

?/p>

1) 

?/p>

0   

 

?/p>

2

?/p>

?/p>

p

?/p>

r

)∧

(

?/p>

q

?/p>

s) 

?/p>

?/p>

0

?/p>

1

)∧

(1

?/p>

1) 

?/p>

0

?/p>

1

?/p>

0. 

 

?/p>

3

?/p>

?/p>

?/p>

p

?/p>

?/p>

q

?/p>

r

?/p>

?/p>

(p

?/p>

q

∧﹁

r) 

?/p>

?/p>

1

?/p>

1

?/p>

1

?/p>

 

?/p>

 (0

?/p>

0

?/p>

0)

?/p>

0 

(4)

?/p>

?/p>

r

?/p>

s

)→

(p

?/p>

?/p>

q) 

?/p>

?/p>

0

?/p>

1

)→

(1

?/p>

0) 

?/p>

0

?/p>

0

?/p>

1 

17

.判断下面一段论述是否为真:

?/p>

?/p>

是无理数。并且,如果

3

是无理数,则

2

也是?/p>

理数。另?/p>

6

能被

2

整除?/p>

6

才能?/p>

4

整除?/p>

?/p>

 

答:

p: 

?/p>

是无理数

 

 

1 

 

 

 

 

 

 

 

q: 

 

3

是无理数

 

 

0 

 

 

 

 

 

 

 

r: 

2

是无理数

 

 

1 

 

 

 

 

 

 

 

 

s:

 

6

能被

2

整除

 

 

1 

t: 

 

6

能被

4

整除

 

 

0 

 

 

 

 

 

 

命题符号化为?/p>

 

p

?/p>

(q

?/p>

r)

?/p>

(t

?/p>

s)

的真值为

1

?/p>

所以这一段的论述为真

?/p>

 

19

.用真值表判断下列公式的类型:

 

?/p>

4

?/p>

(p

?/p>

q) 

?/p>

(

?/p>

q

?/p>

?/p>

p) 

?/p>

5

?/p>

(p

?/p>

r) 

?/p>

(

?/p>

p

?/p>

?/p>

q) 

?/p>

6

?/p>

((p

?/p>

q) 

?/p>

(q

?/p>

r)) 

?/p>

(p

?/p>

r) 

答:

 

 

?/p>

4

?/p>

 

 

 

 

 

 

 

 

 

 

p 

 

 

 

 

q 

 

 

 

p

?/p>

q 

 

 

 

?/p>

q 

 

 

?/p>

p 

 

 

?/p>

q

?/p>

?/p>

p 

 

 

 

 

(p

?/p>

q)

?/p>

(

?/p>

q

?/p>

?/p>

p) 

 

 

 

 

 

 

 

 

 

0 

 

 

 

 

0 

 

 

 

 

 

1 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

0 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

0 

 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

0 

 

 

 

 

 

0 

 

 

 

 

1 

 

 

 

 

 

0 

 

 

 

 

 

0 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

1 

 

 

 

 

 

1 

 

 

 

 

0 

 

 

 

 

 

0 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 

 

 

 

 

 

 

 

 

所以公式类型为永真?/p>

 

//

最后一列全?/p>

1 

?/p>

5

)公式类型为可满足式(方法如上例?/p>

//

最后一列至少有一?/p>

1 

?/p>

6

)公式类型为永真式(方法如上例)

// 

第二章部分课后习题参考答?/p>

 

3.

用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求?/p>

成真赋?/p>

. 



ļ׺.doc޸Ϊ.docĶ

  • ɽӢѧԺе켰Զרҵ- - ͼ
  • GpqagaҽѧԺ ƽѧˮƽķ
  • K12ս̰ ͨü2ȫ̰
  • ֽ㹫ʽ
  • Ϯϵͳʵ
  • 201500067ѧνӿγ̿ص֪ʶ
  • ߿ѧ⾫ѡѵࡢ()
  • ߶2016-2017ѧĩԾ
  • ߵȴҵ ڶʽ
  • ˮ(߼)׼

վ

԰ Ͼλ
ϵͷ779662525#qq.com(#滻Ϊ@)