이렇게 변형하는 방법이 뭐냐?

[익명(211.36)]

한 복합 명제를 저렇게 연언의 형태로 어떻게 바꿈?

[TIME(ghawmzldjs71)]

표기법같은거임? 전부? - dc App

[익명(211.36)]

ㅇㅇ

[TIME(ghawmzldjs71)]

사실 모든 논리 연산자는 연언 선언 부정으로 대체가능하고 연언 부정 혹은 선언 부정만으로도 대체가능임 - dc App

[TIME(ghawmzldjs71)]

근데 저런표기법은 처음봐서 저세한건 몰?루 - dc App

[TIME(ghawmzldjs71)]

어떻게 그게 되는지는 나즁에 설명해줄게 - dc App

[TIME(ghawmzldjs71)]

예를들어 p→q는 (¬p∨q)와 동치고 ¬(p∧¬q)와도 동치임 쌍조건문은 p→q 랑 q→p가 연언으로 묶여있을뿐이니까 같은원리로 가능 - dc App

[익명(211.36)]

저 결과는 주연결사가 연언인 것인데, 조건문은 결국에는 주연결사를 연연으로 바꿀 수 없는 거 아님? 부정기호 때문에

[TIME(ghawmzldjs71)]

진리표 그려봐야 확실하긴한데 저 연언은 그냥 뻥튀기된거 같아 ABPQ 중에 부정이 하나있고 긍정이 하나있으면 성립 되지 않나 싶은데 - dc App

[TIME(ghawmzldjs71)]

DNF에서 논리적 동치쓰면 주연결사를 선언으로할수있는데 - dc App

[TIME(ghawmzldjs71)]

그걸로설명하는게 확실하겠네 잠만 - dc App

[TIME(ghawmzldjs71)]

혹시 드모르간 규칙알아? - dc App

[TIME(ghawmzldjs71)]

드모르간 규칙 , 연언제거 , 선언 첨가 이세가지 위주로 샹각해보면 답나옴 DNF는 진리표보면 왜 그런지 이해될듯 - dc App

[익명(211.36)]

dnf는 이해됨 밑에 cnf가 문제임

[TIME(ghawmzldjs71)]

ㅇㅇ DNF에서 드모르간 써서 주 연산자 연언 으로 만들고 괄호안의 연언을 연언제거로 지웠다가 선언첨가하셈 - dc App

[TIME(ghawmzldjs71)]

아 미안 드모르간이 아니라 분배 법칙 - dc App

[익명(211.36)]

드모르간 하면 주연결사 부정명제임

[TIME(ghawmzldjs71)]

맞아 분배법칙을 드모르간이리 잘못말함 - dc App

[TIME(ghawmzldjs71)]

(A∨B)∧C ⇔ (A∧C)∨(B∧C) 이거 말하는거 말을 잘못했었네 미안 - dc App

[TIME(ghawmzldjs71)]

(A∧B)VC ⇔ (A∨C )∧ (BVC) - dc App

[TIME(ghawmzldjs71)]

C가 어떤 연언문이라면 AV(P∧Q) 와 연언이라면 (A∨P)∧(A∨Q) 가 되겠지 - dc App

[TIME(ghawmzldjs71)]

*될수 있겟지 - dc App

[익명(211.36)]

결론은 노가다네

[TIME(ghawmzldjs71)]

ㄹㅇㅋㅋ - dc App

[익명(180.83)]

카르노 맵 쓰면 조금 더 직ㄱ관적으로 할 수 있음