Prikazaću onda postupak i za onaj način koji sam predložio kada sam napisao
Daniel je napisao:Umesto toga, ovo bi se moglo nastaviti tako što se desna strana transformiše, na sličan način na koji je transformisana leva strana. Na desnoj strani bismo imali [inlmath]x\in A\setminus B\iff x\in A[/inlmath], a zatim, kao što je na implikaciju bilo primenjeno [inlmath](p\;\Longrightarrow\;q)\iff(\lnot p\lor q)[/inlmath], tako na ekvivalenciju možemo primeniti [inlmath](p\iff q)\iff(p\land q)\;\lor\;(\lnot p\;\land\;\lnot q)[/inlmath].
[dispmath]B\subseteq(B\setminus A)\iff(A\setminus B)=A\\
(x\in B\;\Longrightarrow\;x\in B\;\land\;x\notin A)\iff(x\in A\;\land\;x\notin B\iff x\in A)[/dispmath] I sad, dakle, primenjujemo tautologije: [inlmath](p\;\Longrightarrow\;q)\iff(\lnot p\lor q)[/inlmath] za levu stranu, i [inlmath](p\iff q)\iff(p\land q)\;\lor\;(\lnot p\;\land\;\lnot q)[/inlmath] za desnu stranu:
[dispmath]x\notin B\;\lor\;(x\in B\;\land\;x\notin A)\iff(x\in A\;\land\;x\notin B\;\land\;x\in A)\;\lor\;\bigl(\lnot(x\in A\;\land\;x\notin B)\;\land\;x\notin A\bigr)[/dispmath] I dalje se samo primenjuju pravila iskazne logike:
[dispmath]\underbrace{(x\notin B\;\lor\;x\in B)}_\top\;\land\;(x\notin B\;\lor\;x\notin A)\iff(x\in A\;\land\;x\notin B)\;\lor\;\bigl((x\notin A\;\lor\;x\in B)\;\land\;x\notin A\bigr)\\
x\notin B\;\lor\;x\notin A\iff(x\in A\;\land\;x\notin B)\;\lor\;\bigl((x\notin A\;\land\;x\notin A)\;\lor\;(x\in B\;\land\;x\notin A)\bigr)\\
x\notin B\;\lor\;x\notin A\iff(x\in A\;\land\;x\notin B)\;\lor\;x\notin A\;\lor\;(x\in B\;\land\;x\notin A)\\
x\notin B\;\lor\;x\notin A\iff\underbrace{(x\in A\;\lor\;x\notin A)}_\top\;\land\;(x\notin B\;\lor\;x\notin A)\;\lor\;(x\in B\;\land\;x\notin A)\\
x\notin B\;\lor\;x\notin A\iff(x\notin B\;\lor\;x\notin A)\;\lor\;(x\in B\;\land\;x\notin A)\\
x\notin B\;\lor\;x\notin A\iff\underbrace{(x\notin B\;\lor\;x\notin A\;\lor\;x\in B)}_\top\;\land\;(x\notin B\;\lor\;x\notin A\;\lor\;x\notin A)\\
x\notin B\;\lor\;x\notin A\iff x\notin B\;\lor\;x\notin A\\
\enclose{circle}{\top}[/dispmath]