Difference between revisions of "CSC103: DT's Notes 1"
Line 141: | Line 141: | ||
When ''a'' is true, '''not''' ''a'' is false, and conversely. | When ''a'' is true, '''not''' ''a'' is false, and conversely. | ||
+ | <tanbox> | ||
====An Example and Exercise==== | ====An Example and Exercise==== | ||
+ | </tanbox> | ||
[[Image:IceCreamContainer.jpg|right|200px]] | [[Image:IceCreamContainer.jpg|right|200px]] | ||
Assume we want to build a logical machine that can use the logical operators '''and''', '''or''' and '''not''' to help me buy ice cream for a friend. The friend in question has very specific taste, and likes ice cream with chocolate in it, ice cream with fruit in it, but not Haagen Dazs ice cream. So we can devise three boolean variables that can be true of false depending on three properties of a container of ice cream: ''choc'', ''fruit'', and ''HG''. ''choc'' is true if the ice cream contains some chocolate. ''fruit'' is true if the ice cream contains fruits, and ''HG'' is true if the ice cream is from Haagen Dazs. A boolean function, or expression, we're going to call it ''isgood'', containing ''choc'', ''fruit'', and ''HG'' that turns true whenever the ice cream is one our friend will like would be this: | Assume we want to build a logical machine that can use the logical operators '''and''', '''or''' and '''not''' to help me buy ice cream for a friend. The friend in question has very specific taste, and likes ice cream with chocolate in it, ice cream with fruit in it, but not Haagen Dazs ice cream. So we can devise three boolean variables that can be true of false depending on three properties of a container of ice cream: ''choc'', ''fruit'', and ''HG''. ''choc'' is true if the ice cream contains some chocolate. ''fruit'' is true if the ice cream contains fruits, and ''HG'' is true if the ice cream is from Haagen Dazs. A boolean function, or expression, we're going to call it ''isgood'', containing ''choc'', ''fruit'', and ''HG'' that turns true whenever the ice cream is one our friend will like would be this: |
Revision as of 23:02, 30 January 2012
--© D. Thiebaut 08:10, 30 January 2012 (EST)