jeonggunlee / LogicDesign

논리 회로 및 실험: 2024 봄학기, 한림대학교 소프트웨어융합대학
https://github.com/jeonggunlee/LogicDesign
12 stars 8 forks source link

카르노맵 관련 질문 공유 #24

Open jeonggunlee opened 4 years ago

jeonggunlee commented 4 years ago

[질문 공유]

과제 풀이에 대한 질문이라 이메일로 질문드립니다.

과제 2번 문제를 다음과 같이 부울대수와 카르노맵 2개를 이용해 간소화 하면서 비교해보았는데

image

결과값이 다르게 나옵니다. 로지심에 대입해보니 진리표는 똑같이 나오는데 왜 이 둘이 다르게 나오는지 모르겠습니다.

혹시 제가 좀 더 간소화 할 수 있는걸 놓친건가요?

jeonggunlee commented 4 years ago

좋은 질문 감사합니다!!!

우선 답부터 말씀드리면 수식에서 유도한 답이 맞습니다!~ A'C' + AB' + AC 가 정답입니다.

그럼, 왜 카르노 맵에서는 B'C'이 나올까요 ? 이유는 없어도 되는 것을 묶은 경우입니다. 위 카르노맵에서 굳이 B'C'을 만들 필요가 없습니다. 왜냐면 A'B'C'에 해당하는 1은 이미 A'C'에 포함되어 있구요, AB'C'에 해당하는 1은 AB'에 포함되어 있기 때문입니다.

묶음의 크기는 최대로, 묶음의 개수는 최소로 하면서 모든 1을 묶음에 커버하는 것이 핵심입니다. 감사합니다.

유튜브 설명) 좋은 질문 감사합니다!!!

우선 답부터 말씀드리면 수식에서 유도한 답이 맞습니다!~ A'C' + AB' + AC 또는 A'C' + B'C' + AC 가 정답입니다.

그럼, 왜 카르노 맵에서는 B'C'이 나올까요 ? 이유는 없어도 되는 것을 묶은 경우입니다. 위 카르노맵에서 굳이 B'C'을 만들 필요가 없습니다. 왜냐면 A'B'C'에 해당하는 1은 이미 A'C'에 포함되어 있구요, AB'C'에 해당하는 1은 AB'에 포함되어 있기 때문입니다. 따라서, 최적화 식에 B'C' 이 들어간다면 AB'이 중복이기 때문에 AB'이 빠져야겠죠 ?

AB' 과 B'C'은 두개 중에 하나만 들어가야 겠지요 ?

최적화 하다보면, 정답이 꼭 하나만 있는 것은 아닙니다. 그 점을 유의해주세요.

묶음의 크기는 최대로, 묶음의 개수는 최소로 하면서 모든 1을 묶음에 커버하는 것이 핵심입니다. 감사합니다.