40 likes | 113 Views
Truth and How to See It. Do. CS-113 Gene Itkis. Problem Set 0. Problem 1: Sign up for the course mailing list ! Congratulations! Problem 3a: For every student in our class there is a seat sS 113 c C 226
E N D
Truthand How to See It Do CS-113 Gene Itkis
Problem Set 0 • Problem 1: • Sign up for the course mailing list! • Congratulations! • Problem 3a: • For every student in our class there is a seat • sS113 c C226 • Extra credit: Every student in our class has a seat which no other students are seating in. • sS113 c C226 s’S113 . s’ ≠ s s’is not in c
Problem Set 0 • Problem 3b: • Not every seat in our class has a student • ( c C226 sS113 ) • c C226 sS113 . s is not in c • c C226 sS113 . s is in c
Problem Set 0 • Problem 10 • Answer: XOR is not universal • Why? • XOR is linear, while AND, OR are not • Sidetrack: The 5 properties • Linearity • Self-duality [ dual of f(x,y,…) = f(x, y,…) ] • Monotonicity • Preservation of 0 [ f(0,0,…) = 0 ] • Preservation of 1 [ f(1,1,…) = 1 ]