Reading material

Pages 11-16

Additional material

For a review of Boolean expressions, you may want to consult Chapter 2 of Java classes to represent Boolean expressions. To run tautology on Ariel you need to copy the file /cs/course/3341/prolog.ini to your home directory.

Questions

Questions 3, 4 and 6 from Chapter 1 of

Exercises 2.2-2.4 of the text.