离散数学高等教育出版社习题二重点题型答案

  • 格式:docx
  • 大小:22.97 KB
  • 文档页数:7

练习二

3解:

(1)﹁(p⋀q→q)

⇔﹁ p⋀q→q ⇔﹁ ﹁ p⋀q ⋁q ⇔﹁(﹁p⋁﹁q⋁q)⇔p⋀q⋀﹁q⇔p⋀0⇔0

原式为矛盾式。

(2)(p→(p⋁q))⋁(p→r))

⇔(﹁p⋁p⋁q)⋁(﹁p⋁r)⇔﹁p⋁p⋁q⋁﹁p⋁r⇔1⋁q⋁r⇔1

原式为重言式

(3) p⋁q →(p⋀r)

⇔﹁ p⋁q ⋁ p⋀r ⇔(﹁p⋀﹁q)⋁(p⋀r)

p q r p⋁q ﹁ p⋁q p⋀r (﹁p⋀﹁q)⋁(p⋀r)

0 0 0 0 1 0 1

0 0 1 0 1 0 1

0 1 0 1 0 0 0

0 1 1 1 0 0 0

1 0 0 1 0 0 0

1 0 1 1 0 1 1

1 1 0 1 0 0 0

1 1 1 1 0 1 1

成真赋值为000,101,111.所以原式为可满足式,但不是重言式。

4.(1)p⇔(p⋀q)⋁(p⋀﹁q) 证明:(p⋀q)⋁(p⋀﹁q)⇔p⋀(q⋁﹁q)⇔p⋀1⇔p⇔左边

(2)((p→q)⋀(p→r))⇔(p→(p⋀r))

证明:((p→q)⋀(p→r))⇔((﹁p⋁q)⋀(﹁p⋁r))⇔﹁p⋁(q⋀r)⇔(p→(q⋀r))⇔右边

(3)﹁ p↔q ⇔ p⋁q ⋀﹁(p⋀q)

证明:﹁ p↔q ⇔﹁ p→q ⋀ q→p ⇔﹁ p⋁q ⋀ ﹁q⋁p ⇔ p⋁﹁q ⋀ ﹁p⋁q ⇔(p⋁q)⋀(p⋀﹁p)⋀ (﹁q⋁q)⋀(﹁p⋁﹁q)⇔(p⋁q)⋀﹁(p⋀q)

(4) (p⋀﹁q)⋁(﹁p⋀q)⇔(p⋁q)⋀﹁(p⋀q)

证明:

(p⋀﹁q)⋁(﹁p⋀q)⇔(p⋁﹁q)⋀(p⋁q)⋀(﹁p⋁﹁q)⋀﹁(p⋀q))⇔(p⋁q)⋀﹁(p⋀q)

5.解:

(1)( ﹁p→q)→(﹁q⋁p)

⇔ ﹁﹁p⋁q → ﹁q⋁p ⇔ ﹁ p⋁q ⋁ ﹁q⋁p

⇔(﹁p⋀﹁q)⋁﹁(q⋀﹁p)⇔(﹁p⋀﹁q)⋁﹁q⋁p

p q ﹁p⋁p q⋁﹁q ﹁p⋁p⋁q﹁q

0 0 1 1 1

0 1 1 1 1

1 0 1 1 1

1 1 1 1 1

成真赋值为:00,01,10,11 5.(1)( ﹁p→q)→(﹁q⋁p)

解:⇔﹁(p⋁q)⋁(﹁q⋁p)⇔(﹁p⋀﹁q)⋁﹁q⋁p⇔(﹁p⋀﹁q)⋁﹁q⋀(p⋁﹁p)⋁p⋀(q⋁﹁q)⇔(﹁p⋀﹁q)⋁(p⋀﹁q)⋁(﹁p⋀﹁q)⋁(p⋀q)⋁(p⋀﹁q)⇔∑m(0,2,3)

成真赋值为:00,10,11

6(2) p⋀q ⋁ ﹁p⋁r

解:⇔[p⋁(﹁p⋁r) ]⋀[q⋁(﹁p⋁r) ]⇔(p⋁﹁p⋁r)⋀(q⋁﹁p⋁r)⇔1⋀(q⋁﹁p⋁r)⇔q⋁﹁p⋁r⇔∏M(4)

成假赋值为:100

7(1) p⋀q ⋁r

解:⇔(p⋀q)⋁(﹁r⋁r)⋁(﹁p⋁p)⋁(﹁q⋁q)⋀r⇔(p⋀q⋀r)⋁(p⋀q⋀﹁r)⋁[((p⋀q)⋁(p⋀﹁q)⋁(﹁p⋀q)⋁(﹁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)⋁(﹁p⋀q⋀r)⋁(﹁p⋀﹁q⋀r)⇔∑m(1,3,5,6,7)

由主析取范式得出主合取范式为∏M 0,2,4

8(1) p⋀q →q

解:⇔﹁ p⋀q ⋁q⇔﹁p⋁﹁q⋁q⇔﹁q⋁1⇔1

由公式的主合取范式得主析取范式为∑m(0,1,2,3)

9.(1) (p⋁q)⋀(﹁p⋁r) 解:

p q r p⋁q ﹁p⋁r (p⋁q)⋀(﹁p⋁r)

0 0 0 0 0 0

0 0 1 0 1 1

0 1 0 1 0 1

0 1 1 1 1 1

1 0 0 1 0 1

1 0 1 1 0 1

1 1 0 1 0 1

1 1 1 1 0

1

由真值表知主析取范式为:∑m(1,2,3,4,5,6,7)

10.(1) p⋀q ⋁r

解:

p q r p⋀q p⋀q ⋁r

0 0 0 0 0

0 0 1 0 1

0 1 0 0 0

0 1 1 0 1

1 0 0 0 0

1 0 1 0 1

1 1 0 1 1

1 1 1 1 1 由真值表可知:主合取范式为:∏M(0,2,4)

(2)(p→q)⋀(q→r)

解:

p q r p→q q→r (→q)⋀(p→r)

0 0 0 1 1 1

0 0 1 1 1 1

0 1 0 1 0 0

0 1 1 1 1 1

1 0 0 0 1 0

1 0 1 0 1

0

1 1 0 1 0 0

1 1 1 1 1 1

由真值表知主合取范式为∏M(2,4,5,6)

11(2)p→(p⋁q⋁r)

解:

p q r p⋁q⋁r p→(p⋁q⋁r)

0 0 0 0 1

0 0 1 1 1

0 1 0 1 1

0 1 1 1 1

1 0 0 1 1

1 0 1 1 1 1 1 0 1 1

1 1 1 1 1

由真值表知:主析取范式为∑m(0,1,2,3,4,5,6,7,)

主析取范式为:1

17(1) ﹁(p→ q↔ q⋀r )⇔p⋀q⋀﹁r

18(2) p↔r ⋀q⇔﹁(p⋀﹁r)⋀﹁(r⋀﹁p)⋀q

19(1) ﹁p⋁﹁q ⋀r⇔﹁(﹁(﹁p⋁﹁q)⋁r)

20(1) p⋀q ⋁r⇔(p→﹁q)→r

21(1) p↑q ⇔ q↑p , p↓q ⇔(q↓p)

证明:因为p↑q⇔﹁(p⋀q)

又因为合取的交换律可知:(p⋀q)⇔(q⋀p)

所以p↑q⇔﹁(p⋀q)⇔ ﹁(q⋀p)⇔(q⋀p)⇔ q↑p

同理可知: p↓q ⇔﹁ p⋁q ⇔﹁(q⋁p)⇔(q↓p)

22.解:

(1)F(14)(2)⇔﹁(p⋀q)⇔ p↑q

(2)F(8)(2)⇔﹁ p⋁q ⇔(q↓p)

(3)F6(2)⇔(p⋀﹁q)⋁(﹁p⋀q)

(4)F2(2)⇔ p⋀﹁q ⇔﹁ ﹁p⋁q ﹁(p→q)

27(a)F⇔(﹁p⋀﹁q⋀r)⋁(p⋀﹁q⋀﹁r)⋁(﹁p⋀q⋀r)⋁(p⋀q⋀﹁r)⇔m1⋁m3⋁m4⋁m6

(b) F⇔(﹁p⋀﹁q⋀r)⋁(p⋀﹁q⋀﹁r)⋁(﹁p⋀q⋀r)⋁(p⋀q⋀﹁r)⇔﹁(﹁m1⋀﹁m3⋀﹁m4⋀﹁m6) (c) F⇔(﹁p⋀r)⋁(p⋀﹁r)⇔﹁(p↔r)

28.解:FA⇔(A⋀B⋀C)⋁(A⋀B⋀﹁C)⋁(A⋀﹁B⋀C)⋁(A⋀﹁B⋀﹁C)⇔﹁(﹁(A⋀B⋀C)⋀﹁(A⋀B⋀﹁C)⋀﹁(A⋀﹁B⋀C)⋀﹁(A⋀﹁B⋀﹁C))

FB⇔(﹁A⋀B⋀C)⋁(﹁A⋀B⋀﹁C)⇔﹁(﹁(﹁(A⋀B⋀C)⋀﹁(﹁A⋀B⋀﹁C))

FC⇔﹁A⋀﹁B⋀C

有信号为1,无信号为0

输入 A B C 输出 FA FB FC

p q R

0 0 0 0 0 0

0 0 1 0 0 1

0 1 0 0 1 0

0 1 1 0 1 0

1 0 0 1 0 0

1 0 1 1 0 0

1 1 0 1 0 0

1 1 1 1 0 0

FA= m(4,5,6,7) ⇔p

FB= m(2,3) ⇔﹁p⋀q

FC= m(1)⇔﹁p⋀﹁q⋀r