jeonggunlee / LogicDesign

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

부울대수 간소화에서 질문이 있습니다. #31

Open leegw13 opened 4 years ago

leegw13 commented 4 years ago

Y = A'BC'D' + A'BC'D + A'BCD + A'BCD' + ABC'D' + ABCD'를 카르노맵으로 간소화 했을 때에는 Y = BD' + A'B로 간소화가 되는데 부울대수로 간소화 했을 때에는 A'B + ABD'로 나옵니다. 부울대수에서 빼먹은 게 있는건가요?

AB/CD 00 01 11 10 00
01 1 1 1 1 11 1 1 10

dongyyyyy commented 4 years ago

부울대수로 간소화하였을때 A'B + ABD'까지 간소화 하셨는데 여기서 추가적인 간소화가 가능합니다. B(A'+AD')로 묶으면 안에 있는 A'+AD에 대해서 간소화가 가능합니다. -> B(A' + AD') = B( (A'+A) (A'+D') ) = B( (1) (A'+D') ) = B ( A'+ D' ) = A'B + BD'으로 간소화가 됩니다. 따라서 카르노맵으로 간소화한 것과 동일한 것을 볼 수 있습니다.

해당 A'+AD' = (A'+A) (A'+D')으로 간소화 되는 이유에 대해서 실습 영상을 보시면 증명하는 것이 있으니 보고 참조해주시길 바랍니다.