A truth table generator and logical equivalency evaluator for logical statements