削除された内容 追加された内容
タグ: モバイル編集 モバイルウェブ編集 改良版モバイル編集
編集の要約なし
タグ: 差し戻し済み
1行目:
{{otheruses|命題の同値性|同値関係における同値|同値関係}}
{{redirect|iff|その他のIFF|IFF}}
'''同値'''(どうち)または'''等価'''(とうか)とは、2つの[[命題]]が共に[[真]]または共に[[偽]]のときに真となる[[論理演算]]である
[[英語]]ではequivalence ('''EQ''')。「if and only if」を略して、'''iff''' ともいう。'''否定排他的論理和''' ('''XNOR''') に等しい。
[[演算子]]記号は ⇔、↔、≡、=、EQ などが使われる。