WFF Calculator was a project I created for the sole purpose of breaking down formulas into their respective construction sequence and then use the construction sequence to generate the truth table. This function proves incredibly useful as it can easily break down formulas that are way too complex to immediately understand using its set of rules to evaluate the truth table of a formula and test axioms.