In some ways, the entire subject of propositional logic is based on the possibility of using truth tables to examine the relationships between several propositional variables. This can become impractical when a large number of variables are involved, and so we are motivated to find ways to deal with more complicated expressions systematically.