Chương 3

Đại Số Bool và hàm Bool

George Boole
(1815-1864)

1 2

Đại Số Bool  Tính giao hoaùn: x,yA

xy = yx;
Moät ñaïi soá Bool (A,,) laø moät taäp hôïp A   vôùi hai
xy = yx;
pheùp toaùn  (“và”, “giao”, “nối liền”, “nhaân”), 
(“hay”, “hợp”, “nối rời”, “coäng”), töùc laø hai aùnh xaï:  Tính keát hôïp: x,y,zA
: AA  A (xy) z = x(y z);
(xy) z = x (y z).
(x,y)  xy
vaø : AA  A  Tính phaân phối: x,y,zA
(x,y) xy x(y z) = (xy) (xz);
thoûa mãn 5 tính chaát sau: x (y z) = (xy)  (xz).

3 4

3 4

 Coù caùc phaàn töû trung hoøa 1 vaø 0: x A

Ví dụ 1:
x1 = 1x = x;
Xeùt F laø taäp hôïp taát caû caùc daïng meänh ñeà theo n
x0 = 0x = x. bieán p1, p2,…,pn vôùi hai pheùp toaùn noái lieàn , pheùp
toaùn noái rôøi , trong ñoù ta ñoàng nhaát caùc daïng
meänh ñeà töông ñöông. Khi ñoù F laø moät ñaïi soá Bool
 Moïi phaàn töû ñeàu coù phaàn töû buø: x A,
vôùi phaàn töû 1 laø haèng ñuùng 1, phaàn töû 0 laø haèng sai
x A, 0, phaàn töû buø cuûa daïng meänh ñeà E laø daïng meänh ñeà
x  x = x  x = 0; buø E
x  x = x  x = 1.

5 6

5 6

1
 Ví dụ 2:

7 8

7 8

Ví dụ 3:

9 10

9 10

11 12

11 12

2
 Ví dụ 4:

13 14

13 14

Ví dụ 5:

15 16

15 16

Ví dụ 6:

17 18

17 18

3
 Mệnh đề. Trong đại số Boole A, mọi phần tử x
khác 0 đều có thể được biểu diễn dưới dạng:

Ví dụ: x  m1  m2  ...  mn
với m1 , m2 ,..., mn là các nguyên tử nào đó của A

Ý nghĩa: mệnh đề trên khẳng định rằng tập

hợp các nguyên tử của một đại số Boole A có
Chú ý: Khi nói đến nguyên tử, chúng ta hiểu rằng đó là những đối thể được dùng để biểu diễn tất cả các phần tử
tượng không thể chia nhỏ được nữa và chúng thường được dùng
để cấu thành nên những đối tượng khác.
khác 0 trong đại số Boole đó.
19 20

19 20

Ví dụ: Ví dụ:

21 22

21 22

Định nghĩa hàm Bool

Haøm Bool n bieán laø aùnh xạ
f : Bn  B , trong ñoù B = {0, 1}.
Như vậy haøm Bool n bieán laø moät haøm soá coù daïng :
f = f(x1,x2,…,xn), trong ñoù moãi bieán trong x1, x2,…, xn chỉ
nhận hai giaù trò 0, 1 vaø f chỉ nhaän giaù trò trong B = {0, 1}.
Kyù hieäu Fn ñeå chæ taäp caùc haøm Bool n bieán.
Vậy meänh ñeà logic E = E(p1,p2,…,pn) theo n bieán p1, p2,…, pn laø
moät haøm Bool n bieán.
Bảng chân trị
Xeùt haøm Bool n bieán f(x1,x2,…,xn)
Vì moãi bieán xi chæ nhaän hai giaù trò 0, 1 neân chæ
coù 2n tröôøng hôïp cuûa boä bieán (x1,x2,…,xn).
Do ñoù, ñeå moâ taû f, ta coù theå laäp baûng goàm 2n
haøng ghi taát caû caùc giaù trò cuûa f tuøy theo 2n
tröôøng hôïp cuûa bieán. Ta goïi ñaây laø baûng chaân trò
cuûa f
23 24

23 24

4
 Khi ñoù f laø haøm Bool theo 3 bieán x, y, z coù baûng
Ví dụ chaân trò nhö sau:
Xeùt keát quả f trong vieäc thoâng qua moät quyeát ñònh
döïa vaøo 3 phieáu baàu x, y, z

1. Moãi phieáu chæ laáy moät trong hai giaù trò: 1 (taùn
thaønh) hoaëc 0 (baùc boû).

2. Keát qủa f laø 1 (thoâng qua quyeát ñònh) neáu

ñöôïc ña soá phieáu taùn thaønh, laø 0 (khoâng
thoâng qua quyeát ñònh) neáu ña soá phieáu baùc
boû.
26
25

25 26

Các phép toán trên hàm Bool

Các phép toán trên Fn (tập hợp tất cả các hàm Boole
theo n biến) được định nghĩa như sau:
1. Pheùp coäng Bool :
Vôùi f, g  Fn ta ñònh nghóa toång Bool cuûa f vaø g:
f  g = f + g – fg

x = (x1,x2,…,xn) Bn,
Việc xây dựng bảng chân trị của một hàm Boole hoàn toàn giống như xây
dựng bảng chân trị của một dạng mệnh đề (xem lại chương 1). Câu hỏi đặt ra (f  g)(x) = f(x) + g(x) – f(x)g(x)
là: “Từ một bảng chân trị, làm thể nào ta xây dựng lại được công thức
tường minh của hàm Boole?”.
27 28

27 28

3) Pheùp laáy haøm buø:

2. Pheùp nhaân Bool : Vôùi f  Fn ta ñònh nghóa haøm buø cuûa f nhö sau:
Vôùi f, g Fn ta ñònh nghóa tích Bool cuûa f vaø g f  1 f
4) Thứ tự trên Fn
f  g = fg

x=(x1,x2,…,xn)Bn,
(f  g)(x) = f(x)g(x)
Ta thöôøng vieát fg thay cho f  g Nhận xét: một hàm Boole f được nói là “đứng trước” (“bé
hơn”) một hàm Boole g nếu và chỉ nếu tại cùng một dòng trên
bảng chân trị, giá trị của f(x) luôn bé hơn hay bằng giá trị của
29
g(x). 30

29 30

5
 Nguyên tử của Fn
Theo định nghĩa, nguyên tử của một đại số Boole sẽ là các
trội trực tiếp của phần tử 0 theo quan hệ đã được xác định.

Những nguyên tử của đại số Boole chính là những hàm

Boole mà bảng chân trị của nó chỉ khác 0 tại một dòng duy
nhất.
n
Bảng chân trị của một hàm Boole theo n biến sẽ có 2 dòng,
n
chính vì vậy, Fn sẽ có tất cả là 2 nguyên tử.

31 32

31 32

Chú ý: Các hàm Boole được xác định theo công thức trong
mệnh đề trên chỉ khác 0 tại một dòng duy nhất. Dòng duy
nhất này được xác định bởi các thành phần bi trong công
thức. Tại dòng duy nhất đó, nếu xi  1 thì bi  xi , còn nếu
xi  0 thì bi  xi .
Dạng nối rời chính tắc của Hàm Bool
Xét tập hợp các hàm Bool Fn của n biến x1 ,x2,…,xn
 Mỗi hàm bool xi hay x i được gọi là từ đơn.
 Đơn thức là tích khác không của một số hữu hạn từ đơn.
 Từ tối tiểu là tích khác không của đúng n từ đơn.
 Công thức đa thức là công thức biểu diễn hàm Bool thành tổng
của các đơn thức.
 Dạng nối rời chính tắc là công thức biểu diễn hàm Bool thành
tổng của các từ tối tiểu.
Ví dụ:

33 34

33 34

Ví dụ: Cho hàm Boole f(x,y)

có bảng chân trị như hình bên:
Xây dựng lại công thức tường minh của hàm Boole Hãy thiết lập công thức biểu
từ bảng chân trị: diễn của hàm f.

Giải
Bước 1. Chọn tất cả các nguyên tử của Fn ứng với các
dòng bằng 1 trong bảng chân trị của f Để thiết lập công thức này, ta tuân thủ 2 bước như đã nêu ở trên.

Bước 2. Nối tất cả các nguyên tử đã được chọn ở trên

bằng phép toán hợp "  " ta được công thức biểu diễn của
hàm f.

35 36

35 36

6
 Ví dụ: Cho hàm Boole
f(x,y,z) có bảng chân trị Dạng nối liền chính tắc của hàm Bool
như hình bên: Hãy thiết
lập công thức biểu diễn  Từ tối đại là phần bù của các từ tối tiểu. Mỗi từ tối
của hàm f.
đại là tổng Boole của n từ đơn.
Giải  Công thức biểu diễn hàm Boole f thành tích của các
từ tối đại gọi là dạng nối liền chính tắc của hàm
Boole f

37 38

37 38

Maïng logic (Maïng caùc coång)

Ñònh nghóa
 Các hàm Boole có một sự tương ứng rất chặt chẽ
Moät maïng logic hay moät maïng caùc coång laø moät heä
với các mạch điện tử: thoáng coù daïng:
• Các hàm Boole có các biến nhận giá trị 0 hoặc
1, và kết quả của hàm Boole cũng là giá trị 0
hoặc 1.
• Mạch điện tử thường được thiết kế với nhiều
đầu vào và một hoặc nhiều đầu ra, các đầu vào
là các đường truyền tín hiệu chỉ nhận các giá trị trong ñoù: - Input: x1, x2,..., xn laø caùc bieán Bool.
nhị phân (0 hoặc 1), các đầu ra cũng là các - Output f(x1, x2,..., xn) laø haøm Bool.
đường tín hiệu nhị phân là tổ hợp các đầu vào
theo một quy tắc nào đó. Ta noùi maïng logic treân toång hôïp hay bieåu dieãn haøm Bool
f.
 Ta có thể coi mỗi đầu ra của mạch điện tử tương
ứng với một hàm Boole và các đầu vào chính là Moät maïng logic baát kyø luoân luoân ñöôïc caáu taïo töø moät soá
các biến của hàm Boole đó. maïng sô caáp maø ta goïi laø caùc coång.

39 40

Các cổng cơ bản Cổng AND

Cổng NOT
Ký hiệu cổng

Ký hiệu cổng

Cổng AND với n biến Bool

Nếu đưa mức HIGH vào ngõ vào của cổng, ngõ ra Cổng AND có ít nhất 2 ngõ vào
sẽ là mức LOW và ngược lại. Ngõ ra là 1 khi tất cả các ngõ vào là 1, ngược lại
F x  x là 0

41 42

7
 Cổng OR Cổng NAND

Ký hiệu cổng Ký hiệu cổng Bảng chân trị

Cổng OR với n biến Bool

Cổng OR có ít nhất là 2 ngõ vào Là cổng bù của AND

Ngõ ra là 1, nếu có một ngõ vào là 1, ngược lại là Có ngõ ra là ngược lại với cổng AND
0 X NAND Y  NOT  X AND Y   X  Y

43 44

Cổng NOR Chúng ta kết hợp các cổng bằng cách cho đầu ra của
một cổng trở thành đầu vào của các cổng khác
Ký hiệu cổng Bảng chân trị x xy
y xy  x y
x
x
y xy
hoặc
x xy
Là cổng bù của OR
Có ngõ ra là ngược lại với cổng OR y xy  x y
x
X NOR Y  NOT  X OR Y   X  Y
xy

45 46

Ví dụ. Xây dựng mạch cho đầu ra: f  x  xy y

Ví dụ. Xây dựng mạch cho đầu ra:
x  xy
f  xz  yz  xt  yt  xyz xy x  xyy

Ví dụ: Cho sơ đồ như sau, viết biểu thức của f ?

 x  y  z
x  y  z x y z

x x yz
y

z
f ( x, y , z )   x  y  z  x y z

47 48

8
 Ví dụ. Thiết kế mạch để mô phỏng việc thông Ví dụ. Thiết kế một mạch điều khiển bởi 2 công
qua ý kiến gồm ba người, dựa trên đa số. tắc

Lời giải Lời giải

Việc bỏ phiếu của ba người được đại diện bởi ba biến Các công tắc được đại diện bởi hai biến Boolean x, y: 1
Boolean x, y, z: 1 cho Đồng ý và 0 cho Không đồng ý cho ĐÓNG và 0 cho MỞ
xy Cho F (x, y) = 1 khi đèn BẬT và 0 khi đèn TẮT
x
Giả sử rằng F (1, 1) = 1 khi cả hai công tắc đều đóng
y
x xz xy+xz+yz Ta có bảng chân trị sau:
x y F(x, y)
z 1 1 1

y 1 0 0

z 0 1 0
yz
0 0 1

49 50

Ví dụ. Thiết kế một mạch điều khiển bởi 3 cầu công

tắc sao cho đèn sáng khi 1 công tắc bật hoặc đồng thời
Mạch tương ứng 3 công tắc bật.
Lời giải
Các công tắc được đại diện bởi ba biến Boolean x, y, z: 1
x xy cho ĐÓNG và 0 cho MỞ
y x y z F(x, y)
xy  x y Cho F (x, y, z) = 1 khi đèn 1 1 1 1
x BẬT và 0 khi đèn TẮT 1 1 0 0
x
Giả sử rằng F (1, 1, 1) = 1 khi 1 0 1 0
ba công tắc đóng 1 0 0 1

y
y xy Ta có bảng chân trị: 0 1 1 0
0 1 0 1
0 0 1 1
0 0 0 0

51 52

x xyz
y
z Mạch tương Công thức đa thức tối tiểu
x đương
Đơn giản hơn
y xyz
y Cho hai công thức đa thức của một hàm Bool :
z z f = m1 m2 ….  mk (F)
x x f = M1  M2 …  Ml (G)
y xyzxyz
z x yz x yzx yz Ta nói rằng công thức F đơn giản hơn công thức G nếu
z tồn tại đơn ánh h: {1,2,..,k} → { 1,2,…, l} sao cho với
x x mọi i {1,2,..,k} thì số từ đơn của mi không nhiều hơn
y y số từ đơn của Mh(i)
x yz
z

53 54

9
 Phương pháp biểu đồ Karnaugh.
Đơn giản như nhau
Xét f là hàm Bool theo n biến x1,x2,…,xn với n = 3 hoặc 4.
Nếu F đơn giản hơn G và G đơn giản hơn F thì
Trường hợp n = 3:
ta nói F và G đơn giản như nhau
f là hàm Bool theo 3 biến x, y, z. Khi đó bảng chân trị của f
gồm 8 hàng. Thay cho bảng chân trị của f ta vẽ một bảng
Công thức đa thức tối tiểu chữ nhật gồm 8 ô, tương ứng với 8 hàng của bảng chân trị,
được đánh dấu như sau:
Công thức F của hàm Bool f được gọi là tối tiểu
nếu với bất kỳ công thức G của f mà đơn giản
hơn F thì F và G đơn giản như nhau

55 56

Vôùi qui öôùc:
1. Khi moät oâ naèm trong daõy ñöôïc ñaùnh
daáu bôûi x thì taïi ñoù x =1, bôûi x thì taïi
ñoù x =0; töông töï cho y, z.
Tröôøng hôïp n = 4:
f laø haøm Bool theo 4 bieán x, y, z, t. Khi ñoù
baûng chaân trò cuûa f goàm 16 haøng. Thay cho
baûng chaân trò cuûa f ta veõ moät baûng chöõ nhaät
goàm 16 oâ, töông öùng vôùi 16 haøng cuûa baûng
chaân trò, ñöôïc ñaùnh daáu nhö sau:

2. Caùc oâ taïi ñoù f baèng 1 seõ ñöôïc ñaùnh

daáu (toâ ñaäm hoaëc gaïch cheùo). Taäp caùc
oâ ñöôïc ñaùnh daáu ñöôïc goïi laø bieåu ñoà
Karnaugh cuûa f, kyù hieäu laø kar(f).

57 58

Với quy ước:

Ñònh lyù
1. Khi moät oâ naèm trong daõy ñöôïc ñaùnh daáu
bôûi x thì taïi ñoù x =1, bôûi x thì taïi ñoù x =0, Cho f, g là các hàm Bool theo n biến
töông töï cho y, z, t. x1,x2,…,xn. Khi đoù:
2. Caùc oâ taïi ñoù f baèng 1 seõ ñöôïc ñaùnh daáu (toâ a) kar(fg) = kar(f)kar(g).
ñaäm hoaëc gaïch cheùo). Taäp caùc oâ ñöôïc ñaùnh
daáu ñöôïc goïi laø bieåu ñoà karnaugh cuûa f, kyù b) kar(fg) = kar(f)kar(g).
hieäu laø kar(f).
c) kar(f) goàm ñuùng moät oâ khi vaø
Chú ý: Trong cả hai trường hợp, hai ô được gọi là kề chæ khi f laø moät từ toái tieåu
nhau (theo nghĩa rộng), nếu chúng là hai ô liền nhau
hoặc chúng là ô đầu, ô cuối của cùng một hàng (cột) d) kar(f)  kar(g)  f  g
nào đó. Nhận xét rằng, do cách đánh dấu như trên,
hai ô kề nhau chỉ lệch nhau ở một biến duy nhất.

59 60

10
 Ví dụ 1:
Teá baøo
Xeùt caùc haøm Bool theo 4 bieán x, y, z, t.
Tế bào là hình chữ nhật (theo nghĩa rộng) gồm Biểu đồ Karnaugh của đơn thức xyz t là:
2n-k ô (k = 0,1,…,n – 1)

Neáu T laø moät teá baøo thì T laø bieåu ñoà

Karnaugh cuûa moät ñôn thöùc duy nhaát m,
caùch xaùc ñònh m nhö sau: laàn löôït chieáu T
leân caùc caïnh, neáu toaøn boä hình chieáu naèm
troïn trong moät töø ñôn naøo thì töø ñôn ñoù
môùi xuaát hieän trong m.

61 62

Ví dụ 2 Ví duï 3:

Xeùt caùc haøm Bool theo 4 bieán x, y, z, t. Xeùt caùc haøm Bool theo 4 bieán x, y, z, t.

Biểu đồ Karnaugh của đơn thức yz t là: Biểu đồ Karnaugh của đơn thức y t là:

63 64

Ví duï 4: Ví duï 5:
Xeùt caùc haøm Bool theo 4 bieán x, y, z, t.
Xeùt caùc haøm Bool theo 4 bieán x, y, z, t.
Tế bào sau:
Biểu đồ Karnaugh của đơn thức t là:

là biểu đồ Karnaugh của đơn thức nào?

Trả lời: là biểu đồ Karnaugh của đơn thức y t

65 66

11
 Teá baøo lôùn Ví duï 6: Xeùt haøm Bool f theo 4 bieán x, y, z, t coù
bieåu ñoà Karnaugh nhö sau:
Cho haøm Bool f. Ta noùi T laø moät teá baøo lôùn
cuûa kar(f) neáu T thoaû mãn hai tính chaát sau:

a) T laø moät teá baøo vaø T  kar(f).

b) Khoâng toàn taïi teá baøo T’ naøo thoûa

mãn T’  T vaø T  T’  kar(f).

67 68

Kar(f) coù 6 teá baøo lôùn nhö sau: Thuật toán tìm công thức đa thức tối tiểu của
hàm Boole f

Böôùc 1: Veõ bieåu ñoà Karnaugh cuûa f.

Böôùc 2: Xaùc ñònh taát caû caùc teá baøo lôùn cuûa
kar(f).

Böôùc 3: Xaùc ñònh caùc teá baøo lôùn mà nhaát thieát

phaûi choïn.

Ta nhaát thieát phaûi choïn teá baøo lôùn T khi toàn

taïi moät oâ cuûa kar(f) maø oâ naøy chæ naèm trong teá
baøo lôùn T vaø khoâng naèm trong baát kyø teá baøo
lôùn naøo khaùc.

69 70

Böôùc 4: Xaùc ñònh caùc phuû toái tieåu goàm caùc teá
baøo lôùn.
Böôùc 5: Xaùc ñònh caùc coâng thöùc ña thöùc
Neáu caùc teá baøo lôùn choïn ñöôïc ôû böôùc 3 ñaõ phuû toái tieåu cuûa f.
ñöôïc kar(f) thì ta coù duy nhaát moät phuû toái tieåu
goàm caùc teá baøo lôùn cuûa kar(f). So saùnh caùc coâng thöùc treân. Loaïi boû
Neáu caùc teá baøo lôùn choïn ñöôïc ôû böôùc 3 chöa caùc coâng thöùc ña thöùc maø coù moät coâng
phuû ñöôïc kar(f) thì: thöùc ña thöùc naøo ñoù thöïc söï ñôn giaûn
• Xeùt moät oâ chöa bò phuû, seõ coù ít nhaát hai teá baøo hôn chuùng. Caùc coâng thöùc ña thöùc coøn
lôùn chöùa oâ naøy, ta choïn moät trong caùc teá baøo laïi chính laø caùc coâng thöùc ña thöùc toái
lôùn naøy. Cöù tieáp tuïc nhö theá ta seõ tìm ñöôïc taát tieåu cuûa f.
caû caùc phuû goàm caùc teá baøo lôùn cuûa kar(f).
• Loaïi boû caùc phuû khoâng toái tieåu, ta tìm ñöôïc taát
caû caùc phuû toái tieåu goàm caùc teá baøo lôùn cuûa
kar(f).

71 72

12
 Moät soá ví duï Lời giaûi

Ví duï 1: Ta coù : f  xyzt  xy  xz  yz  xyz  xyt

Tìm taát caû caùc coâng thöùc ña thöùc toái tieåu Böôùc 1. Veõ kar(f)
cuûa haøm Bool:
f(x,y,z,t)  xyzt  xy  xz  yz  xy(z  t)

73 74

Böôùc 3. Xaùc ñònh caùc teá baøo lôùn nhaát thieát phaûi choïn.
Böôùc 2. kar(f) có các tế bào lớn như sau:
x

yz

o OÂ 1 naèm trong moät teá baøo lôùn duy nhaát x. Ta choïn

x.
o OÂ 3 naèm trong moät teá baøo lôùn duy nhaát yz. Ta choïn
yz.

75 76

Böôùc 4. Xaùc ñònh caùc phuû toái tieåu goàm caùc teá baøo lôùn.
Böôùc 5. Xaùc ñònh caùc coâng thöùc ña thöùc toái
Caùc oâ ñöôïc caùc teá baøo lôùn ñaõ choïn ôû böôùc 3 phuû nhö
sau: tieåu cuûa f.

ÖÙng vôùi phuû toái tieåu goàm caùc teá baøo lôùn tìm
ñöôïc ôû böôùc 4 ta tìm ñöôïc duy nhaát moät coâng
thöùc ña thöùc toái tieåu cuûa f:

f  x  yz

Ta ñöôïc duy nhaát moät phuû toái tieåu goàm caùc teá baøo lôùn
cuûa kar(f): x; yz.

77 78

13
 Ví duï 2: Tìm taát caû caùc coâng thöùc ña thöùc toái tieåu cuûa Böôùc 2. kar(f) coù caùc teá baøo lôùn nhö sau:
haøm Bool:
f (x, y, z, t)  y(zt  zt)  y(zt  xzt)  xzt
Lời giaûi
Ta coù f  yzt  yzt  yzt  xyzt  xzt

Böôùc 1. Veõ kar(f):

Biểu đồ kar(f)

79 80

Böôùc 3: Xaùc ñònh caùc teá baøo lôùn nhaát thieát phải Böôùc 4: Xaùc ñònh caùc phuû toái tieåu goàm caùc teá baøo lôùn
chọn
Caùc oâ ñöôïc caùc teá baøo lôùn ñaõ choïn ôû böôùc 3 phuû nhö sau:

1. OÂ 6 naèm trong moät teá baøo lôùn duy nhaát zt .

Ta choïn zt
2. OÂ 1 naèm trong moät teá baøo lôùn xt duy nhaát.
Ta choïn xt
3. OÂ 4 naèm trong moät teá baøo lôùn duy nhaát xzt
Ta choïn xzt

81 82

Ví dụ 3. Haõy xaùc ñònh caùc coâng thöùc ña thöùc toái tieåu

Böôùc 5. Xaùc ñònh caùc coâng thöùc ña thöùc toái tieåu cuûa f. cuûa haøm Bool:
ÖÙng vôùi hai phuû toái tieåu goàm caùc teá baøo lôùn tìm ñöôïc ôû f  x z ( y  t )  x z t  z ( yt  x y )
böôùc 4 ta tìm ñöôïc hai coâng thöùc ña thöùc cuûa f:
Lời giaûi

Ta có: f  x yz  xz t  x z t  yzt  x yz
Bieåu ñoà Karnaugh:
x x x x
Ta thaáy hai coâng thöùc treân ñôn giaûn nhö nhau. Do ñoù, z
chuùng ñeàu laø hai coâng thöùc ña thöùc toái tieåu cuûa f.
t
z t
z t
z t
y y y y

83 84

14
 Caùc teá baøo lôùn: xz , yz , zt , x z t , x y t
Caùc teá baøo lôùn baét buoäc phaûi choïn laø
x z , zt, x z t
Coøn laïi oâ (1,4) coù theå naèm trong 2 teá baøo lôùn

yz, x y t
• Do ñoù coù 2 coâng thöùc ña thöùc töông öùng vôùi phuû toái
tieåu:
f  xz  zt  x z t  x y t
f  xz  zt  x z t  y z
Trong ñoù chæ coù coâng thöùc thöù hai laø toái tieåu

85 86

87

15