"conjunctive"の翻訳 日本語へ:


  例 (レビューされていない外部ソース)

So CNF here just means conjunctive normal form.
前にも出た式と同じくn個の節からなる式です