In this step several modifications are done and the final or operator is eliminated.
An expression x is transformed to x ≥ 1, and x is transformed into x ≤ 0, if x is a binary.
if x occurs in a nested expression then it is transformed to 1 - x.
The two operators < and > are eliminated. If the expressions E_{1} and E_{2} are integer expressions then ϵ = 1 else ϵ = 0.00001.
Basically, there is only a single logical expression left to be translated: x ∨ E_{1} (or: x → E_{1})., where E_{1} is an equation or inequality.