Difference between r1.2 and the current
@@ -1,6 +1,17 @@
#noindex
##======최소항,minterm =,minterm . 최소항 minterm
'''최소항, 민텀, minterm'''
----
(copy of local; edit local; do not edit here)
##======최소항,minterm =,minterm . 최소항 minterm
'''최소항, 민텀, minterm'''
변수가 n개일 때, n개의 변수가 AND(conjunction)로 결합된 것.
ex.
변수가 한 개 t일 때, 가능한 최소항은 t, t̅. (2개)
변수가 두 개 x, y일 때, 가능한 최소항은 x̅y̅, x̅y, xy̅, xy. (4개)
변수가 세 개일 때, 가능한 최소항은 .... (8개)
⋮
변수가 n개일 때, 가능한 최소항은 2^^n^^개.
최소항들을 +(OR, 논리합, disjunction) ..으로 묶은 것을
(copy of local; edit local; do not edit here)
최소항, 민텀, minterm
변수가 n개일 때, n개의 변수가 AND(conjunction)로 결합된 것.
ex.
변수가 한 개 t일 때, 가능한 최소항은 t, t̅. (2개)
변수가 두 개 x, y일 때, 가능한 최소항은 x̅y̅, x̅y, xy̅, xy. (4개)
변수가 세 개일 때, 가능한 최소항은 .... (8개)
⋮
변수가 n개일 때, 가능한 최소항은 2n개.
ex.
변수가 한 개 t일 때, 가능한 최소항은 t, t̅. (2개)
변수가 두 개 x, y일 때, 가능한 최소항은 x̅y̅, x̅y, xy̅, xy. (4개)
변수가 세 개일 때, 가능한 최소항은 .... (8개)
⋮
변수가 n개일 때, 가능한 최소항은 2n개.
최소항들을 +(OR, 논리합, disjunction) ..으로 묶은 것을
(copy of local; edit local; do not edit here)
AKA standard product term
예를 들어 Boolean variable이 두 개일 때 이렇게 4개의 최소항들이 있다.
Boolean variable이 세 개일 때 이렇게 8개의 최소항들이 있다.
(표의 마지막 열에서 보이듯) 진리표,truth_table의 row number가 i가 되도록 하는 최소항,minterm을 줄여서 기호로 mi로 나타냄.
Row number | x1 | x2 | Minterm |
0 | 0 | 0 | m0 = x̅1 x̅2 |
1 | 0 | 1 | m1 = x̅1 x2 |
2 | 1 | 0 | m2 = x1 x̅2 |
3 | 1 | 1 | m3 = x1 x2 |
Boolean variable이 세 개일 때 이렇게 8개의 최소항들이 있다.
Row number | x1 | x2 | x3 | Minterm |
0 | 0 | 0 | 0 | m0 = x̅1 x̅2 x̅3 |
1 | 0 | 0 | 1 | m1 = x̅1 x̅2 x3 |
2 | 0 | 1 | 0 | m2 = x̅1 x2 x̅3 |
3 | 0 | 1 | 1 | m3 = x̅1 x2 x3 |
4 | 1 | 0 | 0 | m4 = x1 x̅2 x̅3 |
5 | 1 | 0 | 1 | m5 = x1 x̅2 x3 |
6 | 1 | 1 | 0 | m6 = x1 x2 x̅3 |
7 | 1 | 1 | 1 | m7 = x1 x2 x3 |
변수 2개일 때, 최소항들은 m0, m1, m2, m3 4개,
변수 3개일 때, 최소항들은 m0, m1, …, m7 8개,
변수 4개일 때, 최소항들은 m0, m1, …, m15 16개,
변수 n개일 때, 최소항들은 m0, m1 …, mexp₂(n−1) 까지 2n개.
변수 3개일 때, 최소항들은 m0, m1, …, m7 8개,
변수 4개일 때, 최소항들은 m0, m1, …, m15 16개,
변수 n개일 때, 최소항들은 m0, m1 …, mexp₂(n−1) 까지 2n개.
sum-of-minterms ¶
최소항들의 합을 시그마를 써서 줄여 표현한다.
sum-of-minterms 는
$\displaystyle m_1+m_3+m_6=\sum m(1,3,6)$
sum of mintermssum-of-minterms 는
- 간단한 logic_synthesis 방법.
- 불_함수,Boolean_function를 나타내는 진리표와 일대일대응하는 unique expression, canonical한 방법. → canonical_sum / canonical_form 이라고도 함.
tmp twin
{
https://terms.naver.com/entry.naver?docId=857676&cid=50376&categoryId=50376
https://en.wikipedia.org/wiki/Canonical_normal_form#Minterms
}
{
https://terms.naver.com/entry.naver?docId=857676&cid=50376&categoryId=50376
https://en.wikipedia.org/wiki/Canonical_normal_form#Minterms
}
TODO BACKSRCH NOT DONE