Q1-8 points Use truth tables (only) to verify logical equivalence    

Given: F(A,B,C).  Which of the following is the minterm of F that corresponds to A=1, B=0, C=1?

Given: A 16:1 multiplexer has data inputs D0, D1, …, D15, select inputs S3:0, and output Y.  It is implemented using tristate buffers. What is used to enable the tristate buffer that is connected to D13?

Q3-10 points Use truth tables (only) to determine whether the following argument is valid or invalid, justify your answer:                                                                                          

Q5-5 points Consider the statement “The square of any odd integer is odd.” Rewrite the statement in the form ∀ _____ n, if ____ then ____ . (Make sure you use the variable n when you fill in each of the second two blanks.)

Q10-8 points Let

Q6-5 points Which of the following is a negation for “There exists a real number x such that for all real numbers y, xy > y.”  

Q5-5 points Consider the statement “The square of any odd integer is odd.” Write a negation for the statement.

Q9- 6 points Use an element argument to prove the following statement: For all sets A and B, if A ⊆ B, then BC ⊆ AC.

Q5 – 6 points Let A = {p, q, r}, B = {0, 1, 3}, and C = {0, 4}. Use set-roster notation to write the following set: A × (B ∪ C).