형식 논리학에서 논리적 동치를 모르겟어요

형식 논리학을 배우는데 그중에 논리적 동치 파트에서 드모르간의 법칙을 배웠어요. 거기서 -(-A&(AV-B)&-B) = AV -A&BVB 가 있는데 왜 둘이 같은지 어떻게 같아지는지 모르겠어요ㅠㅠ 알려주세여