Truth Tables (cont.)
tables can easily become large!
Exponential growth with increase in
propositional symbols