論理回路設計において、論理関数分解は論理合成等の段階で用いられる 重要な処理であり、今まで多くの研究がなされてきている。 その中でも2分決定グラフを用いた関数分解が現在の主流であり、 その一手法として2分決定グラフの終端ノード側に着目した 分離的非単純分解手法が提案されている。 本論文では、上記手法に適した2分決定グラフにおける効率の良い 変数順序入れ替えアルゴリズムを提案する。 上記の非単純分解アルゴリズムと合わせて実装し、変数順序入れ替えを行わない アルゴリズムと比較したところ、今まで分解が検出できなかったいくつかの 出力に対して新たに分解を検出できるようになった。