최대항,maxterm

최대항, 맥스텀, maxterm
WtEn:maxterm Ndict:maxterm Ggl:maxterm
비교: 최소항,minterm


(copy of local; edit local ;do not edit here)
AKA standard sum term (표준 합항,sum_term)


예를 들어 Boolean variable이 두 개일 때 이렇게 4개의 최대항들이 있다.
Row number x1 x2 Maxterm
000M0 = x1 + x2
101M1 = x1 + 2
210M2 = 1 + x2
311M3 = 1 + 2

Boolean variable이 세 개일 때 이렇게 8개의 최대항들이 있다.
Row number x1 x2 x3 Maxterm
0000M0 = x1 + x2 + x3
1001M1 = x1 + x2 + 3
2010M2 = x1 + 2 + x3
3011M3 = x1 + 2 + 3
4100M4 = 1 + x2 + x3
5101M5 = 1 + x2 + 3
6110M6 = 1 + 2 + x3
7111M7 = 1 + 2 + 3

Row 0에서 보면, x1=0 and x2=0 and x3=0일때만 M0=0이고,
다른 모든 rows를 보면 x1, x2, x3 중 하나만 0이 아니어도 Mi≠0임을 알 수 있다. (minterm과 다른 점)

같은 index를 가진 minterm과 maxterm은 서로 complement관계이다. 식으로는
$\displaystyle \bar{m_i}=M_i$

Ggl:product-of-maxterms form

(sum-of-minterm 과 dual?)
예를 들어
Row number x1 x2 x3 f(x1, x2, x3)
00000
10011
20100
30110
41001
51011
61101
71110
일 때,
f(x1, x2, x3)
= Σ m(1, 4, 5, 6)
= Π (M0, M2, M3, M7)
= Π M(0, 2, 3, 7)
= (x1 + x2 + x3) (x1 + 2 + x3) (x1 + 2 + 3) (1 + 2 + 3)





최소항 = 표준곱(standard product) 기호 m
최대항 = 표준합(standard sum) 기호 M
표준곱,standard_product
표준합,standard_sum page mk


rel
항,term
곱항,product_term
minterm_canonical_form = canonical_disjunctive_normal_form (CDNF)
maxterm_canonical_form = canonical_conjunctive_normal_form (CCNF)
카르노_맵,Karnaugh_map
SOP_form , POS_form ( 검색 : https://www.google.com/search?q=sop form pos form )
이것이 위의 것들과 어떤관계인지 정확히 tbw.
SOP form : sum of products form
POS form : product of sums form

최대항,maxterm
{
최대항, 맥스텀, maxterm


}