p^q~(pvq) 이딴거도 외어야됨?