q9
Correction: This option is incorrect. The expression Open parenthesis, NOT P, close parenthesis, and, open parenthesis, NOT Q, close parenthesis evaluates to false when P and Q differ in value. A NANDgate should only evaluate to false when both inputs are true.
q10
Correction: This option is incorrect. It is not possible to create an algorithm to solve an undecidable problem for all programs and inputs.
q11
Correction: This option is incorrect. This system does not encrypt messages, it only hides them in a secret location.
q12
Correction: This option is incorrect. The Polynomial procedure calculates the sum of the Square and Cube procedures, but does not generalize their functionality to calculate any power of n.