CNF形への変換処理