Answer
See explanation
Work Step by Step
A precondition for an algorithm is a condition that must be true before the algorithm begins (i.e., an assumption about the input), and a postcondition for an algorithm is a condition that must be true after the algorithm finishes (i.e., the expected result or effect).
