논리학 문제 하나만 풀어주세요

[익명(211.215)]

(¬p→q) ∧ (p→¬q) ㅏp ｖｑ

이거 증명어케하나여?

[TonyMontana(thecoqproofassistant)]

https://gall.dcinside.com/mgallery/board/view/?id=logic&no=962

[익명(58.230)]

어떤형식의 증명을 원함?

[익명(223.39)]

p v ~p를 써서 해보세요

[ㄴㄹㅇ(220.76)]

여기서 ㅏ가 뭘 의미 하나요?