This preview shows pages 1–4. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Math 210011 Final Exam, Spring 2011 NAME: _ T h e re are 1 2 q u e s tio n s o n 1 2 p a g e s. The points per page are 5, 5, 5, 5, 5, 5, 5, 5, 6, 6, 6, 6. [2 points] Question la. Construct a truth table for P V (P + Q). P Q T T T T T F F T F T T T F F T T [2 points] Question Ib. Construct a truth table for (P/\Q) V (p (~>Q) T T T F T T F F T T T F T F F T  r p F F T T [1 p o in t] Q u e s tio n I c . A re e ith e r la o r I b tau to lo g ies? (Soft Question 2. Classify each of the following as true or false. If true, give a general proof. If false, explicitly give a specific counterexample. [2 points] (i) True or false: (A\C = (A\JC )\B. coMierw&tplt : [3 points] (ii) True or false: A \B U C7) = (A \) U (.A \. [5 points] Question 3. Let S = {1,2, 3}, and let 7 be the following relation defined on S: K = {(1 , !),(!, 2), (3,2), (3,3), (2,3), (2,1)} Is 7 an equivalence relation? Why or why not? A l A 'So, /1^ is fit>t 5 bu4 2....
View Full
Document
 Spring '08
 Staff
 Math

Click to edit the document details