Example: #17/24, Section 1.1:

Rewrite the following statement form with a simplified conditional expression, where the function odd returns true if n is odd.

We might begin by assigning letters to the statements involved:

• A - Value1 < Value2
• B - odd(Number)

The the conditional expression becomes:

Using De Morgan in one way, this is equivalent to

Then we can distribute (by 3b), to obtain

or

(by commutativity, 1a), which is

by complements (5a). This is equivalent to

by 4b. Hence,

and we could write

if not (Value1 < Value2) then....