Ekvivalenca

V matematični logiki je ekvivalenca dvočlena logična operacija med izjavami. Znak za ekvivalenco je ali redkeje tudi . Ekvivalenca je pravilna, samo če imata operanda A in B enako logično vrednost (ali sta oba pravilna ali pa oba napačna).

Ekvivalenco lahko beremo na več načinov: A, če in samo če B. Iz A sledi B in iz B sledi A. A natanko takrat, ko B. A je potreben in zadosten pogoj za B.

Pravilnostna tabela + Ekvivalenca A B 0 0 1 0 1 0 1 0 0 1 1 1 Opomba: p - pravilno, n - nepravilno