The Truth Table Generator is governed by Rows = 2^n for n propositional variables. It evaluates the mathematical relationship between the variables.