For the following triples, what are the ??strongest??postconditions that make the triples hold. Express in simplestform.1. {0 ? x < 42} S { ? }

For the following triples, what are the â??strongestâ??postconditions that make the triples hold. Express in simplestform.1. {0 ? x < 42} S { ? } where S ? x := x + x2. {x + y > 0} S { ? 1 answer