En este caso se conoce como 3 SAT.