If C has a satisfying assignment, then each wire is well-defined and the output is 1.
Therefore, each conjunct of is 1, and will evaluate to 1.