This is a logic calculator for discrete mathematics. You can just simply press the buttons to enter the formula, and Confirm, then the results will be shown below. Currently, for the ease of use and implementation, it doesn't support text input.

Supported functions are:

- Infix expression to polish notation.
- Principal disjunctive/conjunctive normal form.
- Truth table.

Bug List:

- Due to the infix to prefix process, it may take some illegal input as legal. (e.g. pq∧, pqr∧∨)