[이현규]

sub-circuit 함수가 circuit * nat -> circuit 형태라고 파일에 나와 있는데

circuit을 만드는 함수에서는 한 회로로 not을 하거나 두 회로로 and, or를 만들어 내게 되는데

그러면 sub-circuit 함수에서 숫자로 들어오는 수는 0 또는 1 뿐이 될 수 없는 건가요?

[강동옥]

네 그렇습니다.
not의 경우에는 0만 쓸 수 있겠지요