1-15. 同じ働きをする論理演算式に関するアルゴリズム