제가 항상 프로그래밍에 대한 관심이 있었어서

인문대에서 컴공 복수전공까지 신청해서 지금 듣고있는데여...

이산수학 듣는데 명제 파트인데여


~(p↔q) 와 p↔~q가 논리적으로 동치임을 보여라 라는 문제인데요

이거 어떻게 해야할까요 지금 이해한 거는

~(p↔q) 안에 (p->q) ∧ (q->p) 까지 포함되어 있어서 저걸 (~p V q) ∧ (~q V p)로 바꿀수 있다는 거 까지는 했는데

여기 까지 맞는지 그리고 여기 뒤에서 어떻게 해야되는지 알려주시면 감사하겠습니다...