>>598
どうしようもないです。
カルノー図で人間が手動でできるのがだいたい六変数ぐらいまでだけど、
計算機使っても厳密に簡単化できるのは普通はせいぜい数十変数ぐらいまでです。

これは計算量が指数関数のオーダーで増えていくのが原因で、
つまり任意の論理関数を多項式時間で簡単化するアルゴリズムを見つければ解決しますが、
そんなものは今のところ見つかっていないし、多くの人は無いんだろうなあと思っています。

＃そのようなアルゴリズムが「無い」ことは証明されていないらしいので、チャレンジしてみる甲斐はあると思われ(・∀・)