Beginner: Absolute DifferenceSample answers

This is similar to the “Integer Inequalities” puzzle, except that it uses the less familiar symbol “DIF” to represent the distance between two objects. In this case, the objects are integers, but actually DIF works for pairs of things of any sort.

As noted in the introduction to the puzzle, DIF can be written between the two terms, like the binary operators ‘+’ and ‘-’ etc. It can also be written in prefix position, as in the suggested encoding. Incidentally, this is also true of all such symbols in Logic for Fun, so for instance you can write “x + y” as “+(x,y)” if you like.