>>841
カルノー図からの簡略結果が最終形ではない。
最終形は
Z=~ABC+A~C+~BC