ABS returns an absolute value of a numerical expression.
ABS(NumExp)
Arguments
...
ABS(a)
returns3 whether a has value 3 or -3.
...
Our topgoal AbsoluteNumExp is given by the relation
AbsoluteNumExp = ABS(NumExp)
Solution
For example, when putting A=-2 and B=-3 as input, the solution becomes
...