Waiting for answer This question has not been answered yet. You can hire a professional tutor to get the answer.

# Pseudo code for algorithm

You are given a magical "oracle" which van correctly solves the CIRCUIT-SAT problem in polynomial time-- i.e., for a given circuit the oracle will return a 1 if and only if the circuit is satisfiable; it returns 0 otherwise.

The catch is that the oracle does not give you a satisfying truth assignment if the circuit is indeed satisfiable

Describe a poly-time algorithm (which uses the oracle as a subroutine) constructing a satisfying truth assignment for a given circuit ( in the event that is indeed satisfiable)