CECS 228 – Group Exercise on 9/7/04
Due Thursday, 9/9/04
Group members:Name_______________________________ Email: _______________________________
Name_______________________________ Email: _______________________________
Name_______________________________ Email: _______________________________
1. Problem 24 in Section 1.2 : Show that p ( q r) and q ( p r ) are logically equivalent by
a) Using a truth table
p | q | r |
---------------------------------------------------------------------------------------------------------------------------------------
|||
|||
|||
|||
|||
|||
|||
|||
b) Applying known logical equivalences
2. Problem 10 in Section 1.3
Define C(x) “x has a cat”,
D(x)
F(x)
where the universe of discourse for variable x consists of
Express each of the following statements in terms of C(x), D(x), F(x), quantifiers, and logical connectives.
a) A student in your class has a cat, a dog, and a ferret.
b) All students in your class have a cat, a dog, or a ferret.
c) Some student in your class has a cat and a ferret, but not a dog.
…/continue on the other side
