say that two boolean formulas are equivalent if they have the same set of variables and are true on the same set of assignments to those variables (i.e., they describe the same boolean function). a boolean formula is minimal if no shorter boolean formula is equivalent to it. (for definiteness, say that the length