Answer from cs61c-eb (Dae-Yeon Kim 16568138) for Question 3
by associative, 
y = a . (a + b + not(b))

by DeMorgan's Theorem
  = a + (not(a) . not(b) . b)

by zero and one law
  = a + 0

by identity
  = a