$\left( {( \sim p \Rightarrow q) \wedge (p \Rightarrow \sim q)} \right) \Rightarrow p$
گزینهها را بررسی میکنیم:
گزینه 1:
$\begin{gathered}
\underbrace {\left( {F \Rightarrow T} \right)}_T \wedge \underbrace {\left( {T \Rightarrow F} \right)}_F \Rightarrow T \hfill \\
\equiv F \Rightarrow T \equiv T \hfill \\
\end{gathered} $
گزینه 2:
$ \sim p \equiv F\,,\, \sim q \equiv F \Rightarrow p \equiv T\,,\,q \equiv T$
مانند گزینه 1 ارزش درست دارد.
گزینه 3:
$\begin{gathered}
p \equiv T\,,\, \sim q \equiv T \Rightarrow q \equiv F \hfill \\
\left( {(F \Rightarrow F) \wedge (T \Rightarrow T)} \right) \Rightarrow T \equiv T \Rightarrow T \equiv T \hfill \\
\end{gathered} $
گزینه 4:
$\begin{gathered}
p \equiv F\,\,,\,\, \sim q \equiv F \Rightarrow q \equiv T \hfill \\
\left( {(T \Rightarrow T) \wedge (F \Rightarrow F)} \right) \Rightarrow F \equiv T \Rightarrow F \equiv F \hfill \\
\end{gathered} $