A truth-table generator and logical equivalency evaluator for formal logic