The area at the bottom of the applet consists of many clickable buttons. By clicking any of them you tell the applet what to do. The syntactical structure of the proposition entered is shown in the large graphical area. This is the default. Note that if you are interested in real optimization, you should have a look at the server-side functions .
Optimization is one of their strengths.
Note that not every button is available in every system. For example, the button truth table will be inaccessible if you choose an infinite-valued system.