Unlock document.
This document is partially blurred.
Unlock all pages and 1 million more documents.
Get Access
Exercise 7.5, II
9. S F 6, 8, MP
(4) 1. J D
2. (J • D) C
(5) 1. A H
2. (F W) L / (H F) (A L)
Exercise 7.6
Part I
(1) 1. (S T) S / S
(2) 1. (K K) R
2. (R M) N / N
Exercise 7.6, I
(3) 1. (C • D) E
(4) 1. H (L K)
(5) 1. S (T U)
Exercise 7.6, I
(6) 1. A (B • C)
2. D C / D A
(7) 1. (E F) (C • D)
2. (D G) H
(8) 1. M (N • O)
2. N P
(9) 1. (R S) T
(10) 1. K / S (T S)
(11) 1. (A B) C
2. (A D) E / C E
(12) 1. (K L) (M • N)
2. (N O) (P • K) / K
Exercise 7.6, I
62
(13) 1. [C (D C)] E / E
(14) 1. F / (G H) (G J)
2. G • H ACP
(15) 1. B (K • M)
2. (B • M) (P P) / B
(16) 1. (N O) (C • D)
3. (P G) (N • D) / N
4. N AIP
(17) 1. (R • S) (G • H)
4. [(R • S) (G • H)] • [(G • H) (R • S)] 1, Equiv
11. H 10, Simp
12. R H 5-11, CP
22. R H 21, Equiv
(18) 1. K [(M N) (P • Q)]
Exercise 7.6, I
(19) 1. A [(N N) (S T)]
2. T (F F) / A S
(20) 1. F [(C C) G]
2. G {[H (E H)] (K • K)} / F
Part II
(1) 1. (C • R) (I • D)
2. R D / C R
(2) 1. (C R) (N • I)
2. (N P) (I C) / C
(3) 1. S (P B)
3. C (S B) / C B
(4) 1. (Z C) B
2. (V Z) B / B
(5) 1. (B • S) (H • C)
Exercise 7.7
Part I
(1) / P [(P Q) Q]
1. P ACP
(2) / (P Q) (P R)
(3) / P [P (Q • P)]
1. P ACP
Exercise 7.7, I
(4) / (P Q) [(P • R) (Q • R)]
1. P Q ACP
(5) / (P Q) [(P R) (Q R)]
1. P Q ACP
(6) / P [P • (Q Q)]
(7) / (P Q) (Q P)
1. [(P Q) (Q P)] AIP
Exercise 7.7, I
(8) / (P Q) [P (P • Q)]
(9) / [(P Q) • (P R)] [P (Q • R)]
1. (P Q) • (P R) ACP
(10) / [(P • Q) • Q] P
1. (P • Q) • Q ACP
(11) / (P Q) (Q P)
1. [(P Q) (Q P)] AIP
(12) / [P (Q R)] [Q (P R)]
1. P (Q R) ACP
(13) / (P Q) [(P Q) P]
5. P P 1, 4, HS
(14) / [(P Q) R] [(R R) P]
1. (P Q) R ACP
(15) / (P Q) [(P Q) (P Q)]
1. P Q ACP
(16) / [(P P) • (P P)]
1. (P P) • (P P) AIP
8. [(P P) • (P P)] 1-4, IP
(17) / P [(Q • Q) R]
(18) / [(P • Q) R] [(R Q) (P Q)]
1. (P • Q) R ACP
2. R Q ACP
(19) / P [P (Q • Q)]
1. P ACP
(20) / P [Q (P Q)]
1. P ACP
2. Q ACP
