Difference between r1.1 and the current
@@ -2,3 +2,94 @@
##====최대항,maxterm =,maxterm . 최대항 maxterm
'''최대항, 맥스텀, maxterm'''
WtEn:maxterm Ndict:maxterm Ggl: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]]가 ''n''개일 때, ''n'' 개의 [[리터럴,literal]]을 가진 [[합항,sum_term]].
예를 들어 Boolean variable이 두 개일 때 이렇게 4개의 '''최대항'''들이 있다.
||Row number ||''x'',,1,, ||''x'',,2,, || '''Maxterm''' ||
||0||0||0||''M'',,0,, = ''x'',,1,, + ''x'',,2,, ||
||1||0||1||''M'',,1,, = ''x'',,1,, + ''x̅'',,2,, ||
||2||1||0||''M'',,2,, = ''x̅'',,1,, + ''x'',,2,, ||
||3||1||1||''M'',,3,, = ''x̅'',,1,, + ''x̅'',,2,, ||
Boolean variable이 세 개일 때 이렇게 8개의 '''최대항'''들이 있다.
||Row number ||''x'',,1,, ||''x'',,2,, ||''x'',,3,, || '''Maxterm''' ||
||0||0||0||0||''M'',,0,, = ''x'',,1,, + ''x'',,2,, + ''x'',,3,, ||
||1||0||0||1||''M'',,1,, = ''x'',,1,, + ''x'',,2,, + ''x̅'',,3,, ||
||2||0||1||0||''M'',,2,, = ''x'',,1,, + ''x̅'',,2,, + ''x'',,3,, ||
||3||0||1||1||''M'',,3,, = ''x'',,1,, + ''x̅'',,2,, + ''x̅'',,3,, ||
||4||1||0||0||''M'',,4,, = ''x̅'',,1,, + ''x'',,2,, + ''x'',,3,, ||
||5||1||0||1||''M'',,5,, = ''x̅'',,1,, + ''x'',,2,, + ''x̅'',,3,, ||
||6||1||1||0||''M'',,6,, = ''x̅'',,1,, + ''x̅'',,2,, + ''x'',,3,, ||
||7||1||1||1||''M'',,7,, = ''x̅'',,1,, + ''x̅'',,2,, + ''x̅'',,3,, ||
Row 0에서 보면, ''x'',,1,,=0 and ''x'',,2,,=0 and ''x'',,3,,=0일때만 ''M'',,0,,=0이고,
다른 모든 rows를 보면 ''x'',,1,,, ''x'',,2,,, ''x'',,3,, 중 하나만 0이 아니어도 ''M'',,i,,≠0임을 알 수 있다. (minterm과 다른 점)
같은 index를 가진 minterm과 maxterm은 서로 complement관계이다. 식으로는
$\bar{m_i}=M_i$
= Ggl:product-of-maxterms form =
(sum-of-minterm 과 dual?)
예를 들어
||Row number ||''x'',,1,, ||''x'',,2,, ||''x'',,3,, ||''f''(''x'',,1,,, ''x'',,2,,, ''x'',,3,,) ||
||0||0||0||0||0||
||1||0||0||1||1||
||2||0||1||0||0||
||3||0||1||1||0||
||4||1||0||0||1||
||5||1||0||1||1||
||6||1||1||0||1||
||7||1||1||1||0||
일 때,
''f''(''x'',,1,,, ''x'',,2,,, ''x'',,3,,)
= Σ m(1, 4, 5, 6)
= Π (''M'',,0,,, ''M'',,2,,, ''M'',,3,,, ''M'',,7,,)
= Π ''M''(0, 2, 3, 7)
= (''x'',,1,, + ''x'',,2,, + ''x'',,3,,) (''x'',,1,, + ''x̅'',,2,, + ''x'',,3,,) (''x'',,1,, + ''x̅'',,2,, + ''x̅'',,3,,) (''x̅'',,1,, + ''x̅'',,2,, + ''x̅'',,3,,)
----
비교: [[최소항,minterm]]
----------
최소항 = 표준곱(standard product) 기호 m
최대항 = 표준합(standard sum) 기호 M
표준곱,standard_product
표준합,standard_sum page mk
[[최소항전개,minterm_expansion]]
[[최대항전개,maxterm_expansion]]
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'''
Twins:
https://everything2.com/title/maxterm
- or sumterm
tmp twins
https://en.wikipedia.org/wiki/Canonical_normal_form#Maxterms
(Redirected from Maxterms)
}
chkout https://blog.naver.com/tb_elec_engineer/220983598494 중간쯤 4.3
예를 들어 Boolean variable이 두 개일 때 이렇게 4개의 최대항들이 있다.
Boolean variable이 세 개일 때 이렇게 8개의 최대항들이 있다.
Row 0에서 보면, x1=0 and x2=0 and x3=0일때만 M0=0이고,
다른 모든 rows를 보면 x1, x2, x3 중 하나만 0이 아니어도 Mi≠0임을 알 수 있다. (minterm과 다른 점)
| Row number | x1 | x2 | Maxterm |
| 0 | 0 | 0 | M0 = x1 + x2 |
| 1 | 0 | 1 | M1 = x1 + x̅2 |
| 2 | 1 | 0 | M2 = x̅1 + x2 |
| 3 | 1 | 1 | M3 = x̅1 + x̅2 |
Boolean variable이 세 개일 때 이렇게 8개의 최대항들이 있다.
| Row number | x1 | x2 | x3 | Maxterm |
| 0 | 0 | 0 | 0 | M0 = x1 + x2 + x3 |
| 1 | 0 | 0 | 1 | M1 = x1 + x2 + x̅3 |
| 2 | 0 | 1 | 0 | M2 = x1 + x̅2 + x3 |
| 3 | 0 | 1 | 1 | M3 = x1 + x̅2 + x̅3 |
| 4 | 1 | 0 | 0 | M4 = x̅1 + x2 + x3 |
| 5 | 1 | 0 | 1 | M5 = x̅1 + x2 + x̅3 |
| 6 | 1 | 1 | 0 | M6 = x̅1 + x̅2 + x3 |
| 7 | 1 | 1 | 1 | M7 = x̅1 + x̅2 + x̅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$
product-of-maxterms form ¶
(sum-of-minterm 과 dual?)
예를 들어
일 때,
f(x1, x2, x3)
예를 들어
| Row number | x1 | x2 | x3 | f(x1, x2, x3) |
| 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 1 |
| 2 | 0 | 1 | 0 | 0 |
| 3 | 0 | 1 | 1 | 0 |
| 4 | 1 | 0 | 0 | 1 |
| 5 | 1 | 0 | 1 | 1 |
| 6 | 1 | 1 | 0 | 1 |
| 7 | 1 | 1 | 1 | 0 |
f(x1, x2, x3)
= Σ m(1, 4, 5, 6)
= Π (M0, M2, M3, M7)
= Π M(0, 2, 3, 7)
= (x1 + x2 + x3) (x1 + x̅2 + x3) (x1 + x̅2 + x̅3) (x̅1 + x̅2 + x̅3)
= Π (M0, M2, M3, M7)
= Π M(0, 2, 3, 7)
= (x1 + x2 + x3) (x1 + x̅2 + x3) (x1 + x̅2 + x̅3) (x̅1 + x̅2 + x̅3)
비교: 최소항,minterm
최소항 = 표준곱(standard product) 기호 m
최대항 = 표준합(standard sum) 기호 M
표준곱,standard_product
표준합,standard_sum page mk
최대항 = 표준합(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 )
{
최대항, 맥스텀, maxterm
항,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
최대항,maxtermSOP form : sum of products form
POS form : product of sums form
{
최대항, 맥스텀, maxterm
Twins:
https://everything2.com/title/maxterm
https://en.wikipedia.org/wiki/Canonical_normal_form#Maxterms
(Redirected from Maxterms)
https://everything2.com/title/maxterm
- or sumterm
tmp twinshttps://en.wikipedia.org/wiki/Canonical_normal_form#Maxterms
(Redirected from Maxterms)
}
chkout https://blog.naver.com/tb_elec_engineer/220983598494 중간쯤 4.3