Answer from cs61c-ee (Michael Shen 15963205) for Question 3
y = a.(a+b+not(b))  Distributive Law
y = a.(a+1)	complementarity law
y = a.a		Law of one
y = a		Idempotent Law