Exercise 7.1, I
NOTE: If you are having any issues seeing logic symbols in this Word document, select “Read”
mode under the View menu in MS Word. PDF versions of the Instructor Manual are also
available on the Instructor Companion Site.
Chapter 7
Exercise 7.1
Part I
1. G 1, 2, MT
2. M 1, 2, MP
Part II
1. B 11. F G
1, 2, DS 2, 4, HS
Part III
(1) 1. C (A C)
(2) 1. F (D T)
(3) 1. (K • B) (L E)
(4) 1. P (G T)
7. G E 5, 6, HS
(5) 1. W [W (X W)]
(6) 1. J (K L)
(7) 1. S D
(8) 1. A (E F)
(9) 1. G (G A)
(10) 1. N (J P)
(11) 1. G [O (G D)]
(13) 1. R (G A)
(14) 1. (L N) C
(15) 1. J [A (D A)]
Exercise 7.1, III
(16) 1. (B M) (T S)
(17) 1. H (Q F)
(18) 1. A (B C)
(19) 1. G [G (S G)]
(20) 1. H [E (C D)]
Exercise 7.1, III
(21) 1. B [(A K) (B K)]
(22) 1. (C M) (N P)
(23) 1. (R F) [(R G) (S Q)]
(24) 1. A [A (T R)]
Exercise 7.1, III
(25) 1. N [(B D) (N E)]
Part IV
(1) 1. O (P T)
(2) 1. P L
(3) 1. (Q J) (M D)
(4) 1. (R L) (L F)
Exercise 7.1, IV
7. H E 5, 6, HS
(6) 1. D (L F)
(7) 1. H (D A)
(8) 1. R B
(9) 1. (D C) (N W)
(10) 1. C [C (J D)]
Exercise 7.2
Part I
Part II
Part III
(1) 1. M Q
Exercise 7.2, III
(2) 1. N (D • W)
(3) 1. E (A • C)
(4) 1. (H B) R
(5) 1. G (S • T)
(6) 1. (L T) (B • G)
(7) 1. (F X) (P T)
Exercise 7.2, III
(8) 1. (N B) • (O C)
(9) 1. (U W) (T R)
(10) 1. (D E) (G • H)
(12) 1. (P R) (M P)
Exercise 7.2, III
(13) 1. (C N) • E
(14) 1. F (T • A)
(15) 1. (S B) (S K)
(16) 1. (C G) (P • L)
(17) 1. [A (K • J)] (E • F)
10. E • A 6, 9, Conj
(18) 1. H (T R)
(19) 1. (U • P) Q
(20) 1. (M N) (F G)
(21) 1. (F • M) (S T)
(22) 1. (K • N) [(P K) • (R G)]
(23) 1. (A D) (B F)
(24) 1. (J K) • (O P)
(25) 1. (M • N) [(M H) (K • L)]
(26) . (P S) (E F)
(27) 1. (S Q) • (Q S)
(28) 1. (D B) • (C D)
(29) 1. (R H) • (S I)
(30) 1. (W • X) (Q R)
Part IV
(1) 1. T (Q • F)
(2) 1. (C • E) (E T)
Exercise 7.2, IV
(3) 1. (S B) (C P)
(4) 1. M P
(5) 1. H [(I P) E]
(6) 1. (P S) [(L R) • (I M)]
(7) 1. (C M) (C T)
Exercise 7.2, IV
9. B 7, 8, DS
(8) 1. (F A) (H • P)
(9) 1. L G
(10) 1. (V • E) (P E)
Exercise 7.3
Part I
1. N • G 2
Part II
1. C K 1, Com 9. L 2, DN
2, 3, DS 1, 3, DS
Exercise 7.3, I
Part III
(1) 1. (M P) • (N Q)
(3) 1. J (K • L)
(4) 1. (N • T)
(5) 1. H A
(6) 1. R B