Truth and How to See It CS-113 Gene Itkis Do

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  s  S 113  c  C 226 –Extra credit: Every student in our class has a seat which no other students are seating in.  s  S 113  c  C 226  s ’  S 113. s ’ ≠ s  s ’ is not in c

Problem Set 0 Problem 3b: –Not every seat in our class has a student  (  c  C 226  s  S 113 )  c  C 226  s  S 113. s is not in c  c  C 226  s  S 113. 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 1.Linearity 2.Self-duality [ dual of f(x,y,…) =  f(  x,  y,…) ] 3.Monotonicity 4.Preservation of 0 [ f(0,0,…) = 0 ] 5.Preservation of 1 [ f(1,1,…) = 1 ]