Given a set of n boolean propositions with logical operators of (not, and, or) between them, is the total proposition true?