[구본영]

4번
output함수에 주어지는 회로를 구성하는데요...spec설명에서는 (not B)는
회로B의 출력값이 0이면 1,1이면 0,,,,,,등등 설명이 나와 있는데요

실제로 이것은 이전에 만들었던 함수 (not-circuit B) 로 회로를 구성하는것이겠죠?

예를들어
(or-circuit (or-circuit (and-circuit (and-circuit (not-circuit one) zero) (not-circuit one)) (and-circuit (and-circuit (not-circuit one) (not-circuit one)) zero)) (and-circuit (and-circuit (not-circuit zero) (not-circuit zero)) (and-circuit one (not-circuit one))))
이런식으로 회로를 구성하는게 맞는거죠?

[김진영_]

맞습니다.

함수의 타입을 보시면 아시겠지만, output 함수는 circuit 타입을 인자로 받습니다.
이 circuit 타입은 3번에서 작성한 '부울 회로를 만드는 다섯가지 방법들'로 만들어진 것으로 보시면 됩니다.