1. BI T畉P TNH KHA
EDITOR: Long
Bi 7.1
畛 bi thi畉u i畛u ki畛n
Bi 7.2
Cho U = ABCDE
T狸m kh坦a bi畉t:
F = {A -> C, BC -> D, D -> E, E -> A}
Gi畉i:
畉t:
- T = {ABCDE}
- P = {ACDE}
- K = UP
Ta 動畛c: K = {B}, T P = {ACDE}
T鱈nh K+
ta c坦: K+
= {B} U
V狸 K+
U => K = {B} Kh担ng ph畉i l kh坦a
Ta i t鱈nh: K = (UP) (T P) = {ABCDE}
Th畛 x坦a b畛 t畛ng thu畛c t鱈nh trong {ACDE} kh畛i K
Th畛 lo畉i b畛 A ra kh畛i K, ta 動畛c: K = {BCDE} v K+
= {ABCDE} U
N棚n ta lo畉i A ra kh畛i K => K = {BCDE}
Th畛 lo畉i b畛 C ra kh畛i K, ta 動畛c: K = {BDE} v K+
= {ABCDE} U
N棚n ta lo畉i C ra kh畛i K => K = {BDE}
Th畛 lo畉i b畛 D ra kh畛i K, ta 動畛c: K = {BE} v K+
= {ABCDE} U
N棚n ta lo畉i D ra kh畛i K => K = {BE}
Th畛 lo畉i b畛 E ra kh畛i K, ta 動畛c: K = {B} v K+
= {B} U
N棚n ta Kh担ng lo畉i E ra kh畛i K => K v畉n l {BE}
V畉y K = {BE}
2. Bi 7.4
T狸m kh坦a bi畉t:
U = ABCDEG
F = {B -> C, AC -> D, D -> G, AG -> E}
Gi畉i:
畉t:
- T = { BACDG}
- P = {CDGE}
- K = UP
Ta 動畛c: K = {AB}, T P = {CDG}
T鱈nh K+
ta c坦: K+
= {BEACDG} U
V畉y K = {AB}
Bi 7.6 T狸m kh坦a bi畉t:
A, U = ABCDEG, F = {AB -> C, C -> A, BC -> D, ACD -> B, D -> EG, BE
-> C, CG -> BD, CE -> AG}
Gi畉i:
A,
畉t:
- T = {ABCDEG}
- P = {CADEGB}
- K = UP
Ta 動畛c: K = {}, T P = { ABCDEG }
T鱈nh K+
ta c坦: K+
= {} U
Ta i t鱈nh: K = (UP) (T P) = {ABCDEG}
Th畛 x坦a b畛 t畛ng thu畛c t鱈nh trong T P kh畛i K
Th畛 lo畉i b畛 A ra kh畛i K, ta 動畛c: K = {BCDEG} v K+
= {ABCDEG} U
N棚n ta lo畉i A ra kh畛i K => K = {BCDEG}
3. Th畛 lo畉i b畛 B ra kh畛i K, ta 動畛c: K = {CDEG} v K+
= {ABCDEG} U
N棚n ta lo畉i B ra kh畛i K => K = { CDEG}
Th畛 lo畉i b畛 C ra kh畛i K, ta 動畛c: K = {DEG} v K+
= {DEG} U
N棚n ta Kh担ng lo畉i C ra kh畛i K => K = { CDEG }
Th畛 lo畉i b畛 D ra kh畛i K, ta 動畛c: K = {CEG} v K+
= {ABCDEG} U
N棚n ta lo畉i D ra kh畛i K => K= { CEG }
Th畛 lo畉i b畛 E ra kh畛i K, ta 動畛c: K = {CG} v K+
= {CGBDEA} U
N棚n ta lo畉i E ra kh畛i K => K = { CG }
Th畛 lo畉i b畛 G ra kh畛i K, ta 動畛c: K = {C} v K+
= {CA} U
N棚n ta Kh担ng lo畉i G ra kh畛i K => K = { CG }
V畉y K = {CG}
B, U = ABCDEG, F = {A -> C, AB -> C, C -> DG, CD -> G, EC -> AB, EG
-> C}
Gi畉i:
B,
畉t:
- T = {ABCDEG}
- P = {ABCDG}
- K = UP
Ta 動畛c: K = {E}, T P = { ABCDG }
T鱈nh K+
ta c坦: K+
= {E} U
Ta i t鱈nh: K = (UP) (T P) = {ABCDEG}
Th畛 x坦a b畛 t畛ng thu畛c t鱈nh trong T P kh畛i K
Th畛 lo畉i b畛 A ra kh畛i K, ta 動畛c: K = {BCDEG} v K+
= {ABCDEG} U
N棚n ta lo畉i A ra kh畛i K => K = {BCDEG}
Th畛 lo畉i b畛 B ra kh畛i K, ta 動畛c: K = {CDEG} v K+
= {ABCDEG} U
N棚n ta lo畉i B ra kh畛i K => K = { CDEG}
Th畛 lo畉i b畛 C ra kh畛i K, ta 動畛c: K = {DEG} v K+
= {ABCDEG} U
4. N棚n ta lo畉i C ra kh畛i K => K = { DEG}
Th畛 lo畉i b畛 D ra kh畛i K, ta 動畛c: K = {EG} v K+
= {ABCDEG} U
N棚n ta lo畉i D ra kh畛i K => K= { EG }
Th畛 lo畉i b畛 G ra kh畛i K, ta 動畛c: K = {E} v K+
= {CA} U
N棚n ta Kh担ng lo畉i G ra kh畛i K => K = { EG }
V畉y K = {EG}
Bi 7.7 T狸m kh坦a bi畉t:
A, U = ABCDE, F = {A -> C, B -> C, C -> D, DE -> C, CE -> A}
Gi畉i:
畉t:
- T = {ABCDE}
- P = {CDA}
- K = UP
Ta 動畛c: K = {BE}, T P = {CDA}
T鱈nh K+
ta c坦: K+
= {ABCDE} U
V畉y K = {BE}
B, U = ABCDE, F = {A -> CD, B -> C, DE -> C, CE -> A}
Gi畉i:
畉t:
- T = {ABCDE}
- P = {ACD}
- K = UP
Ta 動畛c: K = {BE}, T P = {ACD}
T鱈nh K+
ta c坦: K+
= {BC} U
Ta i t鱈nh: K = (UP) (T P) = {ABCD}
Th畛 x坦a b畛 t畛ng thu畛c t鱈nh trong T P kh畛i K
5. Th畛 lo畉i b畛 A ra kh畛i K, ta 動畛c: K = {BCD} v K+
= {BCD}U
N棚n ta Kh担ng lo畉i A ra kh畛i K => K = {ABCD}
Th畛 lo畉i b畛 C ra kh畛i K, ta 動畛c: K = {ABD} v K+
= {ACBD}U
N棚n ta Kh担ng lo畉i C ra kh畛i K => K = { ABCD}
Th畛 lo畉i b畛 D ra kh畛i K, ta 動畛c: K = {ABC} v K+
= {ABCD}U
N棚n ta Kh担ng lo畉i D ra kh畛i K => K = { ABCD}
V畉y K = {ABCD}
Bi 7.8 T狸m kh坦a bi畉t:
U = ABCDE
F = {AB -> DE, E -> AD, D -> C}
Gi畉i:
畉t:
- T = {ABDE}
- P = {ACDE}
- K = UP
Ta 動畛c: K = {B}, T P = {ADE}
T鱈nh K+
ta c坦: K+
= {B} U
Ta i t鱈nh: K = (UP) (T P) = {ABDE}
Th畛 x坦a b畛 t畛ng thu畛c t鱈nh trong T P kh畛i K
Th畛 lo畉i b畛 A ra kh畛i K, ta 動畛c: K = {BDE} v K+
= { BDEAC}U
N棚n ta lo畉i A ra kh畛i K => K = {BDE}
Th畛 lo畉i b畛 D ra kh畛i K, ta 動畛c: K = {BE v K+
= { BEADC }U
N棚n ta lo畉i D ra kh畛i K => K = { BE}
Th畛 lo畉i b畛 E ra kh畛i K, ta 動畛c: K = {B} v K+
= {B}U
N棚n ta Kh担ng lo畉i E ra kh畛i K => K = { BE}
V畉y K = {BE}
6. Bi 7.9 T狸m kh坦a bi畉t:
U = ABCDEG
F = {AB -> C, G -> A, C -> B, ABD -> E}
畉t:
- T = {ABCDEG}
- P = {CABE}
- K = UP
Ta 動畛c: K = {DG}, T P = {CABE}
T鱈nh K+
ta c坦: K+
= {DGA} U
Ta i t鱈nh: K = (UP) (T P) = {ABCDEG}
Th畛 x坦a b畛 t畛ng thu畛c t鱈nh trong T P kh畛i K
Th畛 lo畉i b畛 A ra kh畛i K, ta 動畛c: K = {BCDEG} v K+
= {BCDEGA} U
N棚n ta lo畉i A ra kh畛i K => K = {BCDEG}
Th畛 lo畉i b畛 B ra kh畛i K, ta 動畛c: K = {CDEG} v K+
= {CDEGAB} U
N棚n ta lo畉i B ra kh畛i K => K = { CDEG}
Th畛 lo畉i b畛 C ra kh畛i K, ta 動畛c: K = {DEG} v K+
= {DEGA} U
N棚n ta KHNG lo畉i C ra kh畛i K => K = { CDEG}
Th畛 lo畉i b畛 E ra kh畛i K, ta 動畛c: K = {CDG} v K+
= {CDGABE} U
N棚n ta lo畉i E ra kh畛i K => K= { CDG }
V畉y K = {CDG}