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
David Gries and Fred B. Schneider.
A Logical Approach to Discrete Math.
Questions 3, 4 and 6
from Chapter 1 of
Exercises 2.2-2.4 of the text.
Michael Huth and Mark Ryan.
Logic for Computer Science.
Cambridge University Press.