Write down the negation, the converse, the inverse, and the contrapositive of the following state- ment, and determine which are correct. Any circuit that adds two n-digit binary numbers contains a half-adder and n - 1 full adders. It would be helpful to first express this statement formally in predicate logic. Write down the negation, the converse, the inverse, and the contrapositive of the following state- ment, and determine which are correct. Any circuit that adds two n-digit binary numbers contains a half-adder and n - 1 full adders. It would be helpful to first express this statement formally in predicate logic