Forming a truth table and a boolean expression from a logic circuit (Example 2)