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

离散数学答案屈婉玲版第二版高等教育出版社课后答案

 

离散数学答案

 

屈婉玲版

 

第二?/p>

 

高等教育出版社课后答?/p>

 

第一章部分课后习题参考答?/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>

5

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

 

?/p>

6

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

 

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

 

3.

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

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

离散数学答案屈婉玲版第二版高等教育出版社课后答案

 

离散数学答案

 

屈婉玲版

 

第二?/p>

 

高等教育出版社课后答?/p>

 

第一章部分课后习题参考答?/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>

5

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

 

?/p>

6

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

 

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

 

3.

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

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

离散数学答案屈婉玲版第二版高等教育出版社课后答案

 

离散数学答案

 

屈婉玲版

 

第二?/p>

 

高等教育出版社课后答?/p>

 

第一章部分课后习题参考答?/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>

5

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

 

?/p>

6

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

 

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

 

3.

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

Ͼλ">
Ͼλ
Ŀ

离散数学答案屈婉玲版第二版高等教育出版社课后答案 - 百度文库
新建
上传
首页
助手
最?/div>
资料?/div>
工具

离散数学答案屈婉玲版第二版高等教育出版社课后答案

 

离散数学答案

 

屈婉玲版

 

第二?/p>

 

高等教育出版社课后答?/p>

 

第一章部分课后习题参考答?/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>

5

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

 

?/p>

6

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

 

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

 

3.

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



ļ׺.doc޸Ϊ.docĶ

  • ҵۺ¥Ŀȫ׼취
  • cadansysٵflacĹ
  • ѧ봫ѧ_Ƽ_ϰȹ
  • ٹ·蹤̼
  • ڵƬPWMϵͳƱҵ
  • ȫʡƷ
  • ں˼Rootkit֪ʶ
  • ҶƬ̬غɷ
  • 2019-2020ѧ´ʷ޶ʱѵ24 ޺޵ľ
  • ܹϵͳԼ԰ϵͳ

վ

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