Circuit to truth table to logic expression
From the circuit, a test point is created at the output of each gate.
The logic expression is found at each test point and added to the truth table, and the final test point is copied back into the solution. From this solution, the logic for the 1 outputs is added togther to create the logic expression (in this case F1 = XY'Z'+XY'Z).