@Trogao,
tvoja tablica je korektna, mada za moj ukus malo preopširna (po nekoliko ponavljanja kolona).
No ako ste tako radili, ako je tako zahtevano, samo napred, nema tu greške.
Dodao bih jedino još da se takav iskaz (koji je tačan za svaku vrednost parametara iskazne formule) u matematičkoj logici naziva tautologija.

Nisam rucno pravio tablicu. Ukucao sam formulu u jedna od onih onaline generatora istinitosnih tablica za latex a ima ih nekoliko. Ni meni se ne dopada kako izgleda, ali me mrzelo da trazim drugi. Ovo je posluzilo svrsi.

A kako bi dokazali [inlmath](A\setminus B)\cap B=\emptyset[/inlmath] preko Venovog dijagrama?

Siguran sam da će neko i nacrtati preko Venovog dijagrama.
Ja ne bih za sada, ali bih želeo da pojasnim ovo tvoje rečima:
[dispmath](A\setminus B)\cap B=\emptyset[/dispmath]
[inlmath]A[/inlmath] bez [inlmath]B[/inlmath] sečeno sa [inlmath]B[/inlmath] nema tu ništa

Ja sam odradio preko Venovog, a trebalo je dokazati skupovnu jednakost. Jasno mi je da nema nista, ali to sam trebao dokazati.

A kako bi matematicki dokazao bez Venovog?

Dokaz preko slike ili pozivanje na "ociglednost " se u matematici ne tolerise. Slika je tu samo da ti nagovesti mogucnosti ili cak da resenje, ali ona sama nije dovoljno pouzdana.
Definicije:
[dispmath]A\setminus B\;\iff\;(\forall{x})\{x\;|\;x\in A\;\land\;x\notin B\}[/dispmath][dispmath]A\cap B\;\iff\;(\forall{x})\{x\;|\;x\in A\;\land\;x\in B\}[/dispmath][dispmath]A=B\;\iff\;(\forall{x})\{x\;|\;x\in A\;\iff\;x\in B\}[/dispmath]
Pa imamo:
[dispmath](x\in A\;\land\;x\notin B)\;\land\;x\in B\;\iff\;x\in\emptyset[/dispmath]
Stavimo [inlmath]p=x\in A,\;q=x\notin B,\;r=\neg q,\;s=x\in\emptyset=0[/inlmath]
[dispmath](p\land q)\;\land\;r\;\iff\;s[/dispmath][dispmath](p\land q)\;\land\;\neg q\;\iff\;0[/dispmath]
[dispmath]\begin{array}{cc|c@{}ccc@{}cccccc}
p & q & ( & p & \land & q & ) & \land & \lnot & q & \leftrightarrow & 0\\ \hline
1 & 1 & & 1 & 1 & 1 & & 0 & 0 & 1 & \mathbf{1} & 0\\
1 & 0 & & 1 & 0 & 0 & & 0 & 1 & 0 & \mathbf{1} & 0\\
0 & 1 & & 0 & 0 & 1 & & 0 & 0 & 1 & \mathbf{1} & 0\\
0 & 0 & & 0 & 0 & 0 & & 0 & 1 & 0 & \mathbf{1} & 0
\end{array}[/dispmath]
I utvrdjujemo da je formula tautologija. Znaci da skupovna jednakost vazi.

Aha okej.
Jasno mi je objasnjenje skroz, ali nisam vidjao do sad ovakav nacin dokazivanja preko tablice i pretvaranja ovih izraza u jedno slovo da tako kazem, nadao sam se da ima nesto jednostavnije. Hvala na odgovoru.

Ovako:
[dispmath](A\setminus B)\cap B=(A\cap\overline{B})\cap B=(A\cap\overline B)\cap B\cap B=(A\cap B)\cap(\overline{B}\cap B)=(A\cap B)\cap\emptyset=\emptyset[/dispmath]

E bas to mi je trebalo.

@Daniel je predložio kraći i elegantniji način:
[dispmath](A\setminus B)\cap B=\left(A\cap\overline B\right)\cap B=A\cap\underbrace{\left(\overline B\cap B\right)}_\emptyset=A\cap\emptyset=\emptyset[/dispmath]