結び付き真理値表の削減とは何ですか?

どのような論理的/論理的な真理値表の削減とは、他の削減との比較ですか?

ベストアンサー

バイナリの場合、それらは7つの真理値表の還元性のうちの2つです $$ m、btt(1)、c、d、p、 ell、tt $$
多項式クローンに基づいています。 Culverの論文の図1を参照してください https://link.springer.com/article/10.1007/s00153-
013-0351-x
7の古典的な図のために。

三者の場合、カルバーはユニバーサル代数からのクローンに関する先の結果を使用することを実証しているので、7の代わりにこのような多くの還元可能性がある。

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です