Boolean satisfiability problem

problem of determining if a Boolean formula could be made true