同値(どうち)または等価(とうか)とは、2つの命題が共に真または共に偽のときに真となる論理演算である。英語ではequivalence (EQ)。「if and only if」を略して、iff ともいう。否定排他的論理和 (XNOR) に等しい。演算子記号は ⇔、↔、≡、=、EQ などが使われる。