Equivalent

Equivalent[e1,e2,]
すべての ei が等しい場合にTrueを与える論理的等価 e1e2 を表す.

詳細詳細

  • Equivalent[e1,e2,]は,StandardFormまたはInputForme1e2として入力できる.記号EscequivEscまたは\[Equivalent]で入力できる.
  • ブール関数として,Equivalent[e1,e2,](e1e2)(¬e1¬e2)に等しい.
2008年に導入
(7.0)