I am trying to make a code that take a compound proposition from the user and outputs a truth table for this proposition. The problem is that there a lot of possibilities fo