WOLFRAM

Wolfram Language & System Documentation Center

Equivalent[e1,e2,…]

すべての ei が等しい場合にTrueを与える論理的等価 e1⇔e2⇔… を表す．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
アプリケーション  
特性と関係  
関連項目
関連するガイド
履歴
引用書式

Equivalent

Equivalent[e1,e2,…]

すべての ei が等しい場合にTrueを与える論理的等価 e1⇔e2⇔… を表す．

詳細

例題

すべて開く すべて閉じる

例  (2)

ブール式の等価性をテストする：

equivを使って入力する：

スコープ  (2)

自動簡約：

TraditionalFormによる表示：

アプリケーション  (1)

異なるブール式間の等価性を証明する：

特性と関係  (7)

2引数のEquivalentの真理値表：

3引数のEquivalent：

BooleanConvertを用い，EquivalentをAndとOrに関して表現する：

Impliesに関しての，Equivalentのよく知られた2引数表現：

以下は，2つの表現が本当に等価であることを証明している：

EquivalentはBooleanCountingFunctionによって表すことができる：

2引数のEquivalentはXnorに等しい：

引数がこれより多い場合は異なるプリミティブである：

Resolveを用い，2つの方程式系が等価であることを証明する：

Equivalentは事実上ブール式用のEqualである：

Wolfram Research (2008), Equivalent, Wolfram言語関数， https://reference.wolfram.com/language/ref/Equivalent.html.

テキスト

Wolfram Research (2008), Equivalent, Wolfram言語関数， https://reference.wolfram.com/language/ref/Equivalent.html.

CMS

Wolfram Language. 2008. "Equivalent." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Equivalent.html.

APA

Wolfram Language. (2008). Equivalent. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Equivalent.html

BibTeX

@misc{reference.wolfram_2025_equivalent, author="Wolfram Research", title="{Equivalent}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/Equivalent.html}", note=[Accessed: 13-September-2025]}

BibLaTeX

@online{reference.wolfram_2025_equivalent, organization={Wolfram Research}, title={Equivalent}, year={2008}, url={https://reference.wolfram.com/language/ref/Equivalent.html}, note=[Accessed: 13-September-2025]}