Programador
EXERCISES IN
THE
LOGIC
BOOK
Fourth Edition
MERRIE BERGMANN Smith College
JAMES MOOR Dartmouth College
JACK NELSON University of Washington, Tacoma
Boston Burr Ridge, IL Dubuque, IA Madison, WI New York
San Francisco St. Louis Bangkok Bogotá Caracas Kuala Lumpur
Lisbon London Madrid Mexico City Milan Montreal New Delhi
Santiago Seoul Singapore Sydney Taipei Toronto
Solutions to Selected Exercises in
THE LOGIC BOOK
Merrie Bergmann
James Moor
Jack Nelson
Published by McGraw-Hill, an imprint of The McGraw-Hill Companies, Inc., 1221
Avenue of the Americas, New York, NY 10020. Copyright © 2004, 1998, 1990, 1980 by The McGraw-Hill Companies, Inc. All rights reserved.
No part of this publication may be reproduced or distributed in any form or by any means, or stored in a database or retrieval system, without the prior written consent of The McGraw-Hill Companies, Inc., including, but not limited to, in any network or other electronic storage or transmission, or broadcast for distance learning.
1 2 3 4 5 6 7 8 9 0 EVA/EVA 0 9 8 7 6 5 4 3
ISBN 0-07-248699-6
Vice president and Editor-in-chief: Thalia Dorwick
Publisher: Christopher Freitag
Sponsoring editor: Jon-David Hague
Editorial assistant: Allison Rona
Marketing manager: Zina Craft
Project manager: Jen Mills
Associate supplement producer: Mel Valentín
Production supervisor: Tandra Jorgensen
Compositor: The GTS Companies/York, PA Campus
Typeface: 10/12 New Baskerville
CD Duplication: Eva-Tone
www.mhhe.com
CONTENTS
SOLUTIONS TO CHAPTER 1
1
SOLUTIONS TO CHAPTER 2
10
SOLUTIONS TO CHAPTER 3
20
SOLUTIONS TO CHAPTER 4
40
SOLUTIONS TO CHAPTER 5
88
SOLUTIONS TO CHAPTER 6
134
SOLUTIONS TO CHAPTER 7
148
SOLUTIONS TO CHAPTER 8
162
SOLUTIONS TO CHAPTER 9
198
SOLUTIONS TO CHAPTER 10
262
SOLUTIONS TO CHAPTER 11
304
Contents iii
SOLUTIONS TO SELECTED EXERCISES
CHAPTER ONE
Section 1.3E