Przypomnijmy, równoważność jest prawdziwa wtedy i tylko wtedy, gdy zdania składowe mają taką samą wartość logiczną.

Symbolicznie:  wtedy i tylko wtedy, gdy  lub .

Ogólniej: