質問: x1(x2+x2^)x3^ として,主加法標準形を作る。 f=x1^x2^x3+x1x2x3^+x1x2^x3^+x1^x2x3 次に(f^)^を求める。 で解くと当然ながら主乗法標準系にはなりません。 どう解いたらよいでしょうか。
回答: f=x1^x2^x3+x1x3^+x1^x2x3 =x1^x3(x2^+x2)+x1x3^ =x1^x3+x1x3^ =x1^x3+x1^x1+x1x3^+x3x3^ =(x1+x3)(x1^+x3^) =(x1+x3+x2x2^)(x1^+x3^+x2x2^) =(x1+x3+x2)(x1+x3+x2^)(x1^+x3^+x2)(x1^+x3^+x2^) =(x1+x2+x3)(x1+x2^+x3)(x1^+x2+x3^)(x1^+x2^+x3^)