Vocabulary
乗法標準形
じょうほうひょうじゅんけい
conjunctive normal form; CNF
noun