January $24,2017$

NOTE: This Sample test is only to indicate the rough formal and appearance of the test. DO NOT EXPECT the problems in the actual test to follow the pattern of the problems here. The GOAL of this course is to wean you off the idea that solving problems means following patterns and recipes. The GOAL is to get you to think about and solve problems whose "type" you may never have seen before. The GOAL is to get you to think analytically using your native skills and using first principles.

NOTE: All tests are CLOSED BOOK. NO CHEAT SHEETS ALLOWED. This class is not about memorization. However, if you do all the zybook reading and all the homeworks, you will automatically know certain definitions. Any definitions beyond those will be provided in the problem. You would have to read the definitions carefully, digest them, and use them in understanding the actual problem.

Prove or disprove that $"(notq$notp${)}^{{?}^{?}}(notr$notq$)(pr)$ is a tautology".

$(6$ points$)$