単純化された表現 - コンポーネントを削除

[Hope]

おはようございます。

多くの単純化された表現でセットを作成しました。
「公式」の表現は、a、b、cです。しかし、様々な実現性研究のために、他の表現はd、e、f、g、等を作成しました。

問題は、アクシームをきれいにし、a、b、cのコンポーネントだけを維持したいと考えていることです
「手で」をやることは、ほとんど考えられない、または少なくとも非常に高価です。 モデルツリーのシーケンスやグループなしでコンポーネントを投入しました。

単純化された表現のコンポーネントを分離/選択する方法があります。例えば、f は削除しますか? モデルツリーにハイライトされたり、フィルタリングされたりしても結構です。 これは、自分の人生を識別しやすくなります。

お問い合わせ

 

[nicksoft]

こんにちは、あなたは検索で試すことができます:あなたがすべてのコンポーネントを見つける次のオプションで rappr. あなたの選択。

 

[Hope]

こんにちはnicksoft、非常に有望に見える答えのおかげで! お問い合わせ

 

[Hope]

ありがとうございます。