This problem examines two logical expression that both use the conditional connective (e.g. if-then) and the biconditional connective (e.g. if-and-only-if). We establish that the two logical expressions are equivalent by constructing a truth table for each and showing they are the same. This problem provides practice using the basic definitions of the conditional and biconditional connectives.