I've been trying to solve this circuit problem(and understand it frankly), and I wanted to double check my thought process with the community helpfully.
After running the circuit out, I have $A+ \bar A B$ for the top half, with the bottom half as $\bar A C$, the issue I have is the last gate is an exclusive-or, so combined(my attempt) was the result $A + \bar A B+ \bar A C$... is this right?
Given this, how do I begin to convert that to a truth table with the exclusive. If I start with for ex, A= 1, B=0, C=0, I end up with 1 as the output?
Following that example, I came up with the outputs as all 1's except for the values A=0, B=0, C=0...