sourced the truth table generation for Formulas out into a distinct data type