Applet for simplification of logic functions.