Tải bản đầy đủ (.ppt) (55 trang)

Đai số Bool ̣ pptx

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (2.92 MB, 55 trang )

Đi s Bool
1
Nội Dung Chính







 !

"#

$
2
HÀM BOOL
Đi s Bool
Nội Dung Chính (tt)
%&







%%&
''







 !"#$%
&
#$%
'
($#)*+
,
-./$#)*+
0
123
4
5/$
6
-7$ !"
Đi s Bool
3
()'*+,-
%%%&
.

8$9

!":;#"$

<=>?
&
*@
'

!":
,
!":
0
ABCABD
%/&
0. 

ECE !"

"=
/&
.1 2.#

2

-F$DB8

AGA$F$F$H
&
I"JC2AGA$F$F$H
/%&
$

&
32445
32445
Đi s Bool 5
I. Hàm Bool
Đi s Bool

6
George Boole
(1815-1864)
I. Hàm Bool
1.
Đại số Bool nhị phân:
Đại số bool của các số nhị phân cũng thỏa các trường hợp (luật) như trong mệnh đề.
Đi s Bool
7
Luât phủ định kép ¬ ¬E <=> E
Luật lũy đẳng E ˄ E <=> E
E ˅ E <=> E
Luật giao hoán F˄ E <=> E ˄ F
F ˅ E <=> E ˅ F
Luật kết hợp (E ˄ F) ˄ G <=> E ˄ (F ˄ G)
(E ˅ F) ˅ G <=> E ˅ (F ˅ G)
Luật phân phối E ˄ (G ˅ F) <=> (E ˄ G) ˅ (E ˄ F)
E ˅ (G ˄ F) <=> (E ˅ G) (E ˅ F)
Luật phủ định De-Morgan ¬ (E ˄ F) <=> ¬E ˅ ¬F
¬ (E ˅ F) <=> (¬E) ˄ (¬F)
Luật hấp thụ E ˄ (E ˅ F) <=> E ; E ˅ (E ˅ F) <=> E
Luật trung hòa E ˄ 1 <=> E
E ˅ 0 <=> E
Luật thống trị E ˄ 0 <=> 0
E ˅ 1 <=> 1
Luật bù E ˄ ¬E <=> 0
E ˅¬E <=> 1
Luật kéo theo E → F <=> ¬E ˅ F
Phủ định kéo theo ¬( E → F) <=> E ˄ ¬F
I. Hàm Bool

6&
7
& .89-C
:;<7

=>?@A=BC
2):)D ><?<+;
B
=;
6
=E=;

-=>F:;
B
=;
6
=E=;

G<H8?@A=BC
I#J

H$:&

/*K7L?L+$
B
=$
6
=E=$

-M:$

B
=$
6
=E=$

):&
Đi s Bool
8
1≥n
Nn ∈
I. Hàm Bool
6&
7
&
NO8
PQ:<+;
B
=;
6
=E=;

-

/0F:;

H8A=BRH>6STU$"):+;
B
=;
6
=E=;


-&

'>=N<>$N6VN8"<WXM6STU$":&YOXNO
8"<&
Đi s Bool
9
%& 
6&
7
&
NO8
/*K7#S0GZ


WXM[\==DZ>]#^2(&
N8

K
L
-
1
<

I. Hàm Bool
3.
Các phép toán trên hàm Bool:

Với ta định nghĩa tổng, tích, bù hàm Bool của f và g như sau







Đi s Bool
11
,
F
gf
n

)( gfgf +=∨
gffggf .==∧
ff −=1
I. Hàm Bool
3.
Các phép toán trên hàm Bool:
Ví dụ: n = 2

Đi s Bool
12
M

  K K
M

 K  K
KN>


O>

P K K K K
N>

O>

P    
QN>

O>

P K  K 
$N>

O>

P   K K
R
QN>

O>

P  K  K
R
$N>

O>

P K K  

Q$N>

O>

P K  K K
QS$N>

O>

P   K 
''
''


Đi s Bool 13
%%& ''
B&
_`7
PQ$U$":J

M:;
B
=;
6
=E=;

&
2F;

Xa;


SUY_`&
/*K7;
B
=;
6
=;
b
=E
6&
.`7
5cdd")D e_`&
 X>7*"BXf_`DcXdA&
/*K7Jg;Q;
b
=;
B
;
6
=

;
B
;
6
;
b
;
g
+"`D $[;-

J`>_B:
;=a;=X=aX=h=ah==a_`
;aXha=a;aX`


Đi s Bool
14
%%& ''
b&
.` !J7
5`>ViJ&
'j^?X
B
X
6
&&&X
=
X

?;

ka;

Bll
/*K7Jg;Q` !g
;
B
;
6
;

b
;
g=
;
B
a;
6
;
b
;
g=
;
B
;
6
;
b
;
g
=a;
B
a;
6
a;
b
a;
g
g&
.J7
5j`<?

B
/


6
/
b
/E/
d
=>

`&
/*K7Jm;Q
<+;
B
=;
6
=;
b=
;
g
-?;
B
a;
m
/a;
6
;
b
a;

g
/a;
b
/a;
B
;
b
;
g
;
m
?njg`<+B=A=B=B=A-?BaA/aABaB/aB/aBBBA?B



'
%%& ''
m&
' T*o"7
<)J=<>G:SpD
<?
B
/
6
/
b
/E/
d
=+q-
Gp


` !?+?BE-

+q-SUY T*o"<

/*K7Jg>DOX
<+;=X=h=-?;aXah/a;Xh/;Xaha>+q-



,
%%& ''
r&
 T*o"7
>6;8 T*o")

-TF"$UA"C

IDT;#!F$

IDTSDV"IHWBIDOJCDF$/$CD>X$BA"#$J

IDTAYG#!"IHWBIDCBZX$B#[$-7$"IH*/$#)
*+B\"
/*K7J
b
 T*o<+;=X=h-?a;/aXh/;Xah
<?a;+X/aX-&+h/ah-/+a;/;-aXh/;Xah
<?a;Xh/a;Xah/a;aXh/a;aXah/a;aXh/;aXh/;Xah+q-
+q-* T*o



0
II. Các Dạng Biểu Diễn Hàm Bool
r&
 T*o"7
>6;8 T*o")

-T/[$B8$#!]AC^#B#$B8$#
Q_OJS^#BG"

O"

O`O"

QN"

O"

O`O"

P_
/*KTQN>OaP_>SRabB!"/$#)*+Q
c=B8$#Q

-!2Q_KKOKO=IH !"I$$
S=a/$#)*+QQN>OaP_R>RaS>RaS>a

Đi s Bool
18

II. Các Dạng Biểu Diễn Hàm Bool
7.
Mệnh đề:
f F∈
n
Khi đó,

f có thể có nhiều dạng đa thức khác nhau , ta chọn ra các công thức
đơn giản nhất có thể được. Chúng chính là các công thức đa thức
tối tiểu của f.

f chỉ có một dạng nối dời chính thức duy nhất (không tính sự hoán
đổi của các đơn thức).

Đi s Bool
19
II. Các Dạng Biểu Diễn Hàm Bool
8.
So sánh các dạng đa thức của hàm Bool:
f F∈
n
và f có 2 dạng đa thức
f = u
1
V u
2
V… V u
p
(1)
f = v

1
V v
2
V… V v
q
(2)
a. Ta nói (1) và (2) đơn giản ngang nhau nếu
p = q
deg(u
j
) = deg(v
j
) (1 ≤ j ≤ p)

b. Ta nói (1) đơn giản hơn (2) hay (2) phức tạp hơn (1)
p ≤ q

deg(u
j
) ≤ deg(u
j
) (1 ≤ j ≤ p)
chú ý:

Có thể hoán vị v
1
, v
2
, …,v
q

trước khi so sánh bậc nếu cần thiết

Có thể có những cặp đa thức không so sánh được
Đi s Bool
20
II. Các Dạng Biểu Diễn Hàm Bool
8.
So sánh các dạng đa thức của hàm Bool:
Ví dụ:
a. f F∈
4
có 3 dạng đa thức
f(x,y,z,t) = x ¬y ¬t V ¬xyz V x ¬z ¬ t V xyz (1)
= x ¬y ¬t V ¬xyz V xy ¬z V yzt (2)
= x ¬y ¬t V ¬xyzt V ¬xyz ¬t V xy ¬z V yzt (3)
(1) và (2) đơn giản ngang nhau
vì p = q = 4
deg(u
j
) = deg(v
j
) = 3

(2) đơn giản hơn (3) hay (3) phức tạp hơn (2)
vì q = 4 < r = 5
deg(v
j
) ≤ deg(q
j
)

Đi s Bool
21
II. Các Dạng Biểu Diễn Hàm Bool
8.
So sánh các dạng đa thức của hàm Bool:
Ví dụ:
b. g F∈
4
có 2 dạng đa thức
g(x,y,z,t) = x ¬yz V z ¬t V ¬xyz V ¬xy ¬zt (4)
= z ¬t V x ¬yzt V ¬xyzt V ¬xy ¬zt (5)
ta thấy: p = q = 4
d(
B
) > d(G
B
); d(
6
) < d(G
6
)

nên cần phải hoán vị
(5)  x ¬yzt V z ¬t V ¬xyzt V ¬xy ¬zt (5`) (q` = 4)
(4) đơn giản hơn 5`

vì p = q` = 4

deg(u
j

) ≤ deg(w
j
)

Đi s Bool
22
%st.u
%st.u
\v(\tw
\v(\tw
Đi s Bool 23
ddd!":;#"$
B& !7
/p< J∈

d>7

QJ!Ja3"/$G"E#/$
$8@J!IHOJ*7$
 !"BQ

J!. !"BBe$I$
B!":G#"$NBG7$f"&BAP

&
III. Biểu Đồ Karnaugh
2. Bảng mã: B = {0;1}

Bảng mã cho B
2

( 2 biến bool x và y)
11 01
10 00
x
y
y
x

Bảng mã cho B
3
(3 biến bool x, y, z)
x
x
101 111 011 001
100 110 010 000
x
x
y
y
y
y
z
z
Đi s Bool
25

Tài liệu bạn tìm kiếm đã sẵn sàng tải về

Tải bản đầy đủ ngay
×