The sole purpose of this program is generating, and displaying, truth tables on mobile devices, notably mobile telephones. It supports both classical logic and several important non-classical systems of logic, and it will accept propositions both in standard infix notation, and in Lukasiewicz's stream-lined, shiny Polish notation.
No animals have been harmed in the making of this application.