Subject: HW #1, Prob. 3
From: "William J. Rapaport" <rapaport@buffalo.edu>
Date: Tue, 8 Sep 2009 18:55:20 -0400 (EDT)

I understand that some of you who use Internet Explorer 7 or 8 are
having trouble reading some of the mathematical symbols on HW #1 (which
was created on a Mac, using the current Web standard for mathematical
symbols, so I'll blame this on Microsoft :-)

Here it is in a hopefully more readable form:

Construct truth tables for:

1. (-p ^ q) v (p -> q)

2. (p ^ q) v r

3. p ^ (q v r)

* Note: For this problem, be sure to show each "intermediate" column of
  the truth tables.