离散数学高等教育出版社习题二重点题型答案
- 格式: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