https://www.ap-siken.com/kakomon/26_aki/pm03.html
「オ」についてなのですが
A,B片方がNULLで片方は値が入っていた場合はelse分でいいと考えたのですが、両方ともNullだった場合代入される意図は何ですか？

a,bどちらかがnullになると、whileをぬけるので、両方がnullになることはないと思います。

返信ありがとうございます、while文の外側なので必ず一度実行する処理ではないのでしょうか？

どちらかが、nullになり、whileを抜けた後、if文で、残っている方を連結します。

1.(a=n,b=n)
2.3.(a=null,b=n)片方がn
4.(a=null,b=null)
nは値が入っているという意味です。
上記の条件網羅使うと
1.はwhile抜けれないので除外
2.3.はどちらもNULLではないのwhile文は抜けれます、その後の「オ」の部分でnullじゃないほうを結合するので理解できます。
4.に関して両方NULLなのでifの判定条件をすることになりIF文に合わなかったとしてもelse文があるのでどちらかはnullを代入することになります。
この4.に関してNULLを代入することになると思います。これが意味のないNULL代入を結果的にしているのがもやもやしております。

本文に、
>それぞれの要素数が1になるまでデータ列の分割を繰り返し，
とあるので、a=null,b=nullになることはないと思います。
また、
>function merge(a,b) //a,bは、併合対象の連結リストの先頭へのポインタ
です。a=nullかつb=nullは、引数として不適だと思います。
あと、a,bはポインタ変数なので、nなどの値が入っているわけではありません。
ポイントしている場所の値は、この問題では  a->value  と表しています。
a=nullということは、ポイントする場所がないということです。