First, enter a valid FOL formula. Then click the "Translate" button and watch the magic happen...
Before a formula gets translated, it can be simplified. There are various kinds of simplifications. Some are based on the syntax of the formula whereas others are based on the semantics of the formula. The order in which the simplifications are applied also affects the final formula. Try some simplifications and see what happens.