p\Leftrightarrow q\equiv (p\veebar q)' ve p\veebar q\equiv p'\veebar q' ve (p\veebar q)'\equiv p'\veebar q \equiv p\veebar q' denklikleri mevcut.
Son yazdığım denkliği kullanmadım.Bunu kullanarak çözmek daha kolay olabilir.
\begin{array}{rcl}[(p\Leftrightarrow q)\Leftrightarrow p']' & \equiv & [(p\veebar q)'\Leftrightarrow p']' \\ \\ & \equiv & [(p\veebar q)'\veebar p']\\ \\ & \equiv & [(p\veebar q)\veebar p] \\ \\ & \equiv & [q\veebar (p\veebar p)] \\ \\ & \equiv & q\veebar 0 \\ \\ & \equiv & q\end{array}