7.4.3 Antivalencia

Legyen p és q adott kijelentések.

Két kifejezés antivalenciája: A p és q kijelentések antivalenciáján a „ nem igaz, hogy ha p akkor q, és ha q akkor p" kijelentést értjük. Jele: .

Megjegyzés.

A művelet a „kizáró vagy"-ként (XOR) ismert. Az antivalencia akkor és csak akkor igaz, ha a két állítás logikai értéke különböző, azaz formálisan az ekvivalencia tagadása, tehát .

Az antivalencia műveletének igazságtáblája:

Megjegyzés.

, azaz az antivalencia művelete kommutatív