조합 논리 문서 원본 보기

{{위키데이터 속성 추적}}
{{오토마타 이론}}
[[디지털 회로]] 이론에서 '''조합 논리'''({{lang|en|combinational logic}}), '''시간 독립 논리'''({{lang|en|time-independent logic}}<ref>
C.J. Savant, Jr.; Martin Roden; Gordon Carpenter.
"Electronic Design: Circuits and Systems".
1991.
{{ISBN|0-8053-0285-9}}
p. 682
</ref>)는 현재 입력에 따라 출력이 항상 똑같이 결정되는 [[논리회로]]를 말한다. 현재 입력 뿐만 아니라 이전 입력의 영향 또한 함께 받는 [[순차 논리]]와는 구별된다. 현재 입력만으로 출력이 결정되기 때문에 조합 논리에는 [[기억 장치]]가 쓰이지 않는다.

조합 논리는 [[컴퓨터]] 회로에서 쓰일 때 [[불 대수]]로 입력 신호나 저장된 데이터를 받게 된다. 실제 컴퓨터 회로에서는 일반적으로 조합 논리와 순차 논리가 함께 쓰인다. 예를 들어 [[산술 논리 연산 장치]](ALU)의 경우 수학적인 계산은 조합 논리로 구성하고 처리 순서를 조절하는 데는 순차 논리를 쓰는 식이다.

== 표현 ==
{| class="wikitable" style="margin: 1em auto 1em auto; text-align:center;"
|-
! {{nobold|{{mvar|A}}}} || {{nobold|{{mvar|B}}}} || {{nobold|{{mvar|C}}}} || 결과 || [[동치]]
|-
| {{no|F}} || {{no|F}} || {{no|F}} || {{no|F}} || <math>\neg A \wedge \neg B \wedge \neg C</math>
|-
| {{no|F}} || {{no|F}} || {{yes|T}} || {{no|F}} || <math>\neg A \wedge \neg B \wedge C</math>
|-
| {{no|F}} || {{yes|T}} || {{no|F}} || {{no|F}} || <math>\neg A \wedge B \wedge \neg C</math>
|-
| {{no|F}} || {{yes|T}} || {{yes|T}} || {{no|F}} || <math>\neg A \wedge B \wedge C</math>
|-
| {{yes|T}} || {{no|F}} || {{no|F}} || {{yes|T}} || <math>A \wedge \neg B \wedge \neg C</math>
|-
| {{yes|T}} || {{no|F}} || {{yes|T}} || {{no|F}} || <math>A \wedge \neg B \wedge C</math>
|-
| {{yes|T}} || {{yes|T}} || {{no|F}} || {{no|F}} || <math>A \wedge B \wedge \neg C</math>
|-
| {{yes|T}} || {{yes|T}} || {{yes|T}} || {{yes|T}} || <math>A \wedge B \wedge C</math>
|}

== 같이 보기 ==
* [[순차 논리]]
* [[비동기 회로]]
* [[FPGA]]
* [[형식 검증]]
* [[프로그래머블 로직 컨트롤러]]
* [[래더 로직]]

== 각주 ==
{{각주}}

{{전거 통제}}

[[분류:회로 설계]]