Answer from cs61c-ch (hani aldahfari 14962689) for Question 3
y = a.a + a.b + a.not(b)
y = a.a + a(b + not(b))
y = a.a + a
y = a + a
y = a