Usage:

Here you can easily type logic and mathematics formulas and use them anywhere.

You can check whether the entered formula(s) make a valid inference by clicking the draw Tableau button.