Boolean Satisfiability Problem

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