2-SAT Problem with additional constraints on variable?
That is NP-hard by reduction from vertex cover, even when there are no negative literals.

If you meant to count by occurrences rather than just bounding the number of

distinct variables which are true, then use this paper's result and this paper's result.