1. Analyze the equivalency of stuck-at faults in an AND-OR circuit implementing XOR function, and identify the minimum number of tests detecting all testable faults.
2. Analyze the equivalency of stuck-at faults in a full adder and identify the minimum number of tests detecting all testable faults.