Reading material
Pages 11-16
Additional material
For a review of Boolean expressions, you may want to consult Chapter 2 of
-
David Gries and Fred B. Schneider.
A Logical Approach to Discrete Math.
Springer-Verlag.
1993.
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
-
Michael Huth and Mark Ryan.
Logic for Computer Science.
Cambridge University Press.
2000.
Exercises 2.2-2.4 of the text.