Page 343 - HOW TO PROVE IT: A Structured Approach, Second Edition
P. 343

P1: PIG/
                   0521861241apx01  CB996/Velleman  October 20, 2005  2:56  0 521 86124 1  Char Count= 0







                                                  Appendix 1


                                       Solutions to Selected Exercises














                                                     Introduction

                             1. (a) One possible answer is 32,767 = 31 · 1057.
                                                          31
                               (b) One possible answer is x = 2 − 1 = 2,147,483,647.
                             3. (a) The method yields the prime number 211.
                               (b) The method yields two primes, 3 and 37.


                                                       Chapter 1

                                                      Section 1.1
                             1. (a) (R ∨ H) ∧¬(H ∧ T ), where R stands for the statement “We’ll have a
                                   reading assignment,” H stands for “We’ll have homework problems,”
                                   and T stands for “We’ll have a test.”
                               (b) ¬G ∨ (G ∧¬S), where G stands for “You’ll go skiing,” and S stands
                                   for “There will be snow.”
                                     √         √
                               (c) ¬[( 7 < 2) ∨ ( 7 = 2)].
                             5. (a) I won’t buy the pants without the shirt.
                               (b) I won’t buy the pants and I won’t buy the shirt.
                               (c) Either I won’t buy the pants or I won’t buy the shirt.


                                                      Section 1.2
                             1. (a)                    P   Q   ¬P ∨ Q
                                                       F   F      T
                                                       F   T      T
                                                       T   F      F
                                                       T   T      T

                                                         329
   338   339   340   341   342   343   344   345   346   347   348