표준 형식 (수학)

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

객체의 표준 형식(canonical form, normal form)은 수학에서 객체를 표현하는 표준적인 방법을 의미한다. 이는 또한 자연적인 (표준적인) 방법 상에서 정의한 미분 형식을 의미하기도 한다. 표준 형식을 찾는 방법은 표준화(canonicalization)라는 용어를 사용한다.

논리식에서 정규형(Canonical form)은 논리 함수를 각 변수들의 곱이나 합으로 표현한 것이다. 예를 들어, 논리 함수 F에 대해 F=x+yz도 하나의 정규형이다.모든 논리식은 AND와 OR의 곱으로 나타낼 수 있으므로, 모든 논리 함수는 정규형으로 표현하는 게 가능하다. 특히, 논리 함수를 곱의 합이나 합의 곱 형태로 표현한 정규형은 각각 최소항 전개 또는 최대항 전개로 나타낼 수 있다. 어떤 논리 함수는 그 함수를 이루는 변수들이 특정 값일 경우에만 1이 되는데, 이를 카르노 맵을 이용하면 비교적 쉽게 최소항 전개나 최대항 전개로 논리 함수를 나타낼 수 있다.