[일반] 기호 논리학 풀이 좀 도와주세요

[익명(222.100)]

~ = 부정
& = 연언
V = 선언

이라고 할 때

~((A V (~A&B)) & ~(A&~C)) V (~(C & A) V A)를

D V ~D 꼴로 만들어주실 수 있나요?

[익명(218.145)]

그려서 풀어보셈

[익명(222.100)]

코어논리학이란 책을 읽고 있어요. 금방 다섯 가지 논리 규칙과 논리적 참을 배웠는데 그다음 나온 연습문제가 본문이에요. 연습문제는 아무래도 앞서 배운 걸 응용해서 풀라는 의도 같아서요. 그래서 논리 규칙을 응용한 풀이로 풀고 싶은 거예요. 그리기보다는요.

[익명(222.100)]

~A&~B & (A V B) 를 C & ~C로 간추릴 수 있듯 저것도 간추리라는 것 같은데 제 머리론 안되네요 ㅜ

[익명(175.200)]

뒤에 답지 있음

[익명(222.100)]

담은 논리적 참인데 풀이는 없더라구요

[IZ*PUZZLER(twinstae)]

~((A V (~A&B)) & ~(A&~C)) V (~(C & A) V A) ~((A V (~A&B)) & ~(A&~C)) V (~C V ~A V A) // 우변을 드모르간 ~((A V (~A&B)) & ~(A&~C)) V (~C V 참) // ~A V A 는 항상 참 ~((A V (~A&B)) & ~(A&~C)) V 참 // (X V 참) 은 항상 참 참 // (X V 참) 은 항상 참 증명 끝