Solution Manual Chapter 9: Logic and Computers
9-1. A popular ditty of the late nineteenth- and early twentieth-century railroad era was
the following (Sung to the tune of “Humoresque” by the nineteenth-century Czech
composer Antonin Dvorak1):
“Passengers will please refrain – From flushing toilets – While the train – Is
standing in the station – I love you.”
For the preceding ditty, define a variable S expressing whether or not the train is in the
station, a variable M expressing whether or not the train is moving (“standing” means
“not moving”), and a variable F expressing the fact that the toilet may be flushed. (A: S =
“the train is the station,” M = “the train is moving” (or you could use its negation,
M′ meaning the train is stationary), and F = “the toilet may be flushed”)
Need: S = “____”, M = “______ “, and F = “ _____”.
1 You can find the music at: http://www.youtube.com/watch?v=_93anoTqIgU