Hallo,

das wäre dann \(A\overset{\cdot }{\vee} B\), die Kontravalenz.

Das ist allerdings nicht sonderlich gebräuchlich.

Etwas einleuchtender: Da \(A\Leftrightarrow B\) "A genau dann, wenn B" bedeutet, wäre die Negation dann auch "A genau dann, wenn nicht B" oder "Genau dann nicht A, wenn B". Über die Wahrheitstabelle lässt sich das auch leicht beweisen.

Sprich: \(\neg\left ( A\Leftrightarrow B \right )\)
\(\Leftrightarrow\)

\(A\overset{\cdot }{\vee} B\)
\(\Leftrightarrow\)
\(\neg A\Leftrightarrow B\)
\(\Leftrightarrow\)

\(A\Leftrightarrow \neg B\)

Gruß,

Gauß