This was created in the Spring 2019 semester at Stevens Institute for CS 135 as an extra credit assignment.
The program is designed to use the tree method to solve logical problems, returning #t if the logical expression is valid and #f if it is invalid. How to properly use the program is explained in the comments within it.