Subject: HW #1, Prob. 3
From: "William J. Rapaport"
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.