Programming, Binary Decision Diagrams, Computer Science, Boolean.
unique representation. From a truth table, you can derive a formula’s canonical normal form, which uniquely represents that formula. If two formulas have the same canonical normal form representation, they are equivalent, and vice versa. Truth tables can get big. A formula with n distinct variables