以下に

rlitab，rlgsn，rldnfを昨日の最小値の例，つまり
procedure f(x)$x^2-2*x$
のもとでの
g:=rlcad( ex(x,0<=x<=a and f(x)=m) and all(x,0<=x<=a impl f(x)>=m) );
に作用させた結果を比較します．

rlitab(g);
a**2 - 2*a - m > 0 and a - 1 > 0 and m + 1 = 0 or
a**2 - 2*a - m = 0 and
(a - 1 = 0 and m + 1 = 0 or
a - 1 < 0 and a > 0 and m + 1 > 0 and m < 0 or
a = 0 and m = 0)

rlgsn(g);
a - 2 >= 0 and m + 1 = 0 or
a - 1 > 0 and a - 2 < 0 and m + 1 = 0 or
a - 1 = 0 and m + 1 = 0 or
a**2 - 2*a - m = 0 and a - 1 < 0 and a > 0 and m + 1 > 0 and m < 0 or
a = 0 and m = 0

rldnf(g);
a**2 - 2*a - m = 0 and a = 0 and m = 0 or
a**2 - 2*a - m = 0 and a - 1 < 0 and a > 0 and m + 1 > 0 and m < 0 or
a**2 - 2*a - m = 0 and a - 1 = 0 and m + 1 = 0 or
a**2 - 2*a - m > 0 and a - 1 > 0 and a - 2 < 0 and m + 1 = 0 or
a**2 - 2*a - m > 0 and a - 2 >= 0 and m + 1 = 0

選言標準形として綺麗なのはrldnfですが，これではrlcadと変わりがなく，a - 1 > 0 and a - 2 < 0 の場合と a - 2 >= 0 の場合がまとめられていません．一方，rlitabでは，まずa**2 - 2*a - m，次にaにより場合分けされた木構造が見てとれ，rldnfで分かれていた２つの場合もまとまっています．対して，rlqsnでは，２つの場合はまとめられていないものの，場合分けの基準がaに絞られているため簡潔な印象を受けます．