単純化しようとしているブール式の最後の部分で多くの問題が発生しています。これまでのところ、私は得ました（乗算はANDで、加算はORです）：
(a * 'b * 'c) + ('a * 'b * c) + ('a * b *'c) + (a * 'b * c)
(a * 'b * 'c) + (a * 'b * c) + ('a * 'b * c) + ('a * b * 'c)
a(('b * 'c) + ('b * c)) + ('a * 'b * c) + ('a * b * 'c)
a('b(c + 'c)) + ('a * 'b * c) + ('a * b * 'c)
a('b(1)) + ('a * 'b * c) + ('a * b * 'c)
(a * 'b) + ('a * 'b * c) + ('a * b * 'c)
しかし、ウルフラムアルファから得た答えは
(a * 'b) + ('b * c) + ('a * b * 'c)
最後のステップを完了する方法がわかりません。どんな助けでもいただければ幸いです