이하 logic 및 Boolean algebra의 term. 다른 곳에서의 뜻([[수열,sequence]]에서는 각 항목, [[급수,series]]에선 더하기로 연결된 각 항목, ...)은 나중에.
가장중요한건 [[식,expression]]에서의 뜻?

[[최소항,minterm]] ... curr [[최소항과_최대항,minterm_and_maxterm#s-1.1]]
 [[minterm_canonical_form]] = [[canonical_disjunctive_normal_form]] (CDNF)
 sum of minterms: canonical SOP? chk Ggl:"sum of minterms: canonical SOP"
[[최대항,maxterm]] ... curr [[최소항과_최대항,minterm_and_maxterm#s-1.2]]
 [[maxterm_canonical_form]] = [[canonical_conjunctive_normal_form]] (CCNF)
 product of maxterms: canonical POS? chk Ggl:"product of maxterms: canonical POS"

----
product term & sum term
product term
 * 기본적으로 1이다. (기본이 0이라면 뭘 곱해도 아무 소용없이 항상 0임을 상기)
sum term
 * 기본적으로 0이다. (기본이 1이라면 뭘 더해도 아무 소용없이 항상 1이므로 이렇게 따로 이름지어 부를 필요가 없다는것을 상기)

[[곱항,product_term]]
{
'''product term'''
WpEn:Product_term - conjunction들로 이어진.
[[곱,product]] [[항,term]]
} // Ggl:"product term sum term"
[[합항,sum_term]]
{
'''sum term'''
## sumterm
합항? disjunction들로 이어진? 단어가 많이 쓰이진 않는데... Ggl:"sum term"
 합만 있다고 sumterm은 아니고, 같은 변수가 한 번 이상 나오면 안됨.
[[합,sum]] [[항,term]]
}

minterm ~= product term
maxterm ~= sum term
분야별([[논리,logic]] > [[불_논리,Boolean_logic]] / [[불_대수,Boolean_algebra]] etc)에 따라서 단어의 용법이 조금씩 차이나는 듯 한데 본질은 같으니.

----
MKL
[[논리합,logical_sum]] Up: [[합,sum]]
[[논리곱,logical_product]] Up: [[곱,product]]
[[불_항,Boolean_term]] 만들까말까? ... Ggl:"boolean term" 해봐도 거의 없는데 너무 뻔한 뜻이라 별도의 entry를 만들지 않는 건가?
[[불_식,Boolean_expression]] Up: [[식,expression]]
[[불_함수,Boolean_function]] Up: [[함수,function]]
[[Boolean_domain]]
[[논리곱표준형,conjunctive_normal_form,CNF]] w WtEn:conjunctive_normal_form ... curr [[최소항과_최대항,minterm_and_maxterm#s-1.4]]
논리합표준형 [[DNF,disjunctive_normal_form]] w WtEn:disjunctive_normal_form ... curr [[최소항과_최대항,minterm_and_maxterm#s-1.3]]
SOP(sum of products) ~= DNF(disjunctive normal form)
POS(product of sums) ~= CNF(conjunctive normal form)
[[이산수학,discrete_math]]
[[디지털시스템,digital_system]]
[[digital_design]]