How many variable assignments satisfy a given CNF formula?
주어진 CNF 식을 만족하는 논리값이 몇 개인가?