Suppose $A$ and $B$ are two statements.
What is the negation of the excluisive or-statement, i.e. of "either $A$ or $B$" which i formally written as $A\dot{\vee}B$?
I think $\neg (A\dot{\vee} B)$ means
($A$ and $B$) or (not A and not B), i.e.
$$
\neg(A\dot{\vee} B)=(A\wedge B)~\vee~(\neg A\wedge\neg B)
$$
(the or on the LHS is exclusive while the or on the RHS is inclusive).
Best Answer
That is correct. An equivalent (by DeMorgan's laws) statement is $$(A \vee \lnot B) \wedge (\lnot A \vee B)$$