The following logic circuit has four wires, W1,W2,W3, and W4. It has an "and gate," A, and an "inverter," B. The input wires, W1 and W2, can be either "on" or not. If the and gate, A, is functioning properly (OK), wire W3 is "on" if and only if wires W1 and W2 both are "on." If the inverter, B, is functioning properly (OK), wire W4 is "on" if and only if wire W3 is not "on." 1. Use expressions like OK(A),ON(W1), and so on to describe the functioning of this circuit as defined. 2. Using the formulas describing the functioning of the circuit, and assuming that all components are functioning properly and that wires W1 and W2 are "on," use resolution to show that wire W4 is not "on." 3. Again, using the formulas describing the functioning of the circuit, and given that wires W1 and W2 are "on," but that wire W4 is also "on," use resolution to show that either the and gate or the inverter is not functioning properly