Chapter 1.2, Problem 42E

Exercises 36-42 are puzzles that can be solved by translating statements into logical expressions and reasoning from these expressions using truth tables.

*42. Solve this famous logic puzzle, attributed to Albert Einstein, and known as the zebra puzzle. Five men with different nationalities and with different jobs live in consecutive houses on a street. These houses are painted different colors. The men have different pets and have different favorite drink. Determine who owns a zebra and whose favorite is mineral water (which is one of the favorite drinks) given these clues: The Englishman lives in the red house. The Spaniard owns a dog. The Japanese man is a painter. The Italian drink tea The Norwegian lives in the first house on the left. The green house is immediately to the right of the white one. The photographer breeds snails. The diplomat lives in the yellow house. Milk is in the middle house. The owner of the green house drinks coffee. The Norwegian's house is next to the blue one. The violinist drinks orange juice. The fox is in a house next to that of the physician. The horse is in a house next to that of the diplomat. [Hint:Make a table where the rows represent the men and columns represent the color of their houses, their jobs, their pets, and their favorite and use logical reasoning to the correct entries in the table.)