Answer from cs61c-ep (Hao Wen Vivian Chong 15826235) for Question 3
X's mean that we don't care about the value that they hold - they're called "don't cares". o = not(a) + (a*not(c)) Yes, the table is complete.