Canonical form

리터럴 literal 변수, 혹은 그 부정 리터럴은 그 자체로 곱항이면서 합항이다. 곱항 product term 1개의 리터럴 혹은 복수의 리터럴의 논리곱 x, y, x*y, !x*y 등등.. 같은 변수가 들어가서는 안된다. x*x, x*!x 등 합항 sum term 1개의 리터럴 혹은 복수의 리터럴의 논리합 x, y, x+y, !x+y 등등... 같은 변수가 들어가서는 안된다. 곱의 합 sum-of-products form, disjunctive form, AND-OR형 논리함수를 1개의 곱항 혹은 복수의 곱항의 합으로 표현한것 x*y, x*y+x*z, x+y, x+!y*z 등등... 합의 곱 product-of-sums form, conjunctive form, OR-AND형 논리함수를 1개의 합항 혹은 복수의 합항의 곱으로 표현한것 x+!y, (x+y)*(!x+z), (x+y)*z 등등... 최소항 minterm n변수 논리함수에 대해, n개의 리터럴로 이루어지는 곱항 n변수를...

원문링크 : Canonical form