The first set of gates that the inputs A and B go to need to be identified. There are two OR gates both doing the A+B function, a NOT gate doing the NOT A function and two AND gates doing the A.B function. These functions can fill in the next set of columns on the truth table.