Answer from cs61c-eg (Ramanarayan Vasudevan 15938560) for Question 3
The x's indicate that the values don't matter (don't cares). 
!a+a*!b = o
the table specifies all combinations of inputs.