Boolean Satisfiability Problem

Determine if a Boolean formula can be made true by assigning true or false to its variables.