Sprawdzenie czy zapis jest równoważny innemu zapisowi

[nesz]

Mam problem mianowicie muszę sprawdzić czy te wyrażenie są dla siebie równe i jeśli tak to wytłumaczyć dlaczego. Niestety nie odnajduję się w temacie.
\(\displaystyle{ x _{2}\neg x _{1 }+\neg x _{2 }x _{1 }= \Sigma(0,1)}\)