An educational tool that provides a user-interface that allows a user to type in valid sentences of propositional logic, and produces a complete, labelled truth table for any number of valid input sentences of propositional logic, allowing for the checking of logical properties such as truth-functional truth and truth-functional falsity. This project was implemented for multiple platforms, including a Web, Android, iOS, MacOS, Linux and Windows implementation for accessibility.

The web application can be tested at: https://thaddeusowl.github.io/