Typical problems in this case involve formulas in "3CNF": conjunctive normal form with no more than three variables per conjunct.
The third point is that the obligation on the instigating judge is conjunctive.
Antonyms
