Professional Documents
Culture Documents
П2-Булова алгебра 2
П2-Булова алгебра 2
Aлгоритми за минимизација на
Булови функции
2
Прпблем на минимизација
𝑃1 + 𝑃2 = 𝑃1 + 𝑃1 ⋅ 𝑄 = 𝑃1 1 + 𝑄 = 𝑃1 ⋅ 1 = 𝑃1
Влез е ΣоП облик на Булов израз Е=Е(x1, x2, …,xn). Излез е ДНФ
облик на Булов израз еквивалентен на E.
Чекор 1. Да се определат производите P во Е во кои не се јавува
променливата xi. Производот P да се помножи со xi + x'i и потоа
да се тргнат сите производи кои се појавуваат повеќе од еднаш.
(Ова е можно бидејќи xi + x'i=1 и P+P = P.)
19
Фпрмираое на n кпцка (b) n = 2
10 11
010 011
додава 0, а на другиот 1.
0010 0011
0110
зема 2 пати 3-коцката и пред 0111
(d) n = 4
секоја вредност на темето на n=4 0100
0101
едната коцка се додава 0, а на
1110
другата 1. 1111
1100
1110
1011
www.finki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twitter.com/FINKIedu
20
Булпва функција какп 1- темиоа
на n-кпцка
o Рековме дека секоја Булова функција со n променливи може
да се претстави со n коцка во која на соодветно теме се
доделува 1 ако темето претставува минтерм во ДНФ обликот
на функцијата.
C(x,y,z)=Σ(m3,m5,m6,m7) S(x,y,z)=Σ(m1,m2,m4,m7)
x y z C S
0" 0" 0" 0" 0" m0"
0" 0" 1" 0" 1" m1"
0" 1" 0" 0" 1" m2"
0" 1" 1" 1" 0" m3"
1" 0" 0" 0" 1" m4"
1" 0" 1" 1" 0" m5"
1" 1" 0" 1" 0" m6"
1" 1" 1" 1" 1" m7"
! mi одговара на записот на бројот i во бинарен систем.
Simplification by theismapunique;
method its algebraic expression is
is straightforward.
plification by algebraic means is awkward (from algorithmic ypoint
0 1
o Карнова мапа (К-мапа) е правоаголна табела xодm квадрати m во која
representation is unique; its
секој од квадратите претставува
algebraic
x
0 1
expression
еден минтерм.
is 0
Два квадрати (b) n = 2
се
0 1
algebraic meansisis
ugh map (K-map)
соседни anawkward
акко array (from
of squares
соодветните eachalgorithmic
representing
минтерми кои point
(a) n = 1
oneги minterm.
1
mпретставуваат
m се 2 3
ap method is straightforward.
допираат во соседни квадрати.
(a) n = 1
1
1
m2 m3 m4 m5 m7 m6
o n=1 y
n=2 n=3 n=4
yz zw 00 01 11 10
x x 0 1
xy
0 1 m0 m1 x 00 01 11 10
m0 m1 m3 m2
0 (a) n = 1 0 (b) n = 2 00
(c) n = 3 m0 m1 m3 m2
1 1
m2 m3 01
m4 m5 m7 m6 (d) n = 4
m4 m5 m7 m6
y 11
0 1 yz m12 m13 m15 m14
x zw
m0 x m1 00 01 11 10 00 01 11 10
10
m0 m1 m3 m2 xy
0 0 m8 m9 m11 m10
(b) n = 2
00 (c) n = 3
m0 m1
www.finki.ukim.mk m2
m3 www.facebook.com/FINKI.ukim.mk www.twitter.com/FINKIedu
1
1
m2 m3 m m
23
Карнпви мапи
!
x 1 x
! ! ! !
x\y y' y x\y 0 1 x\y
!
x' x'y' x'y 0 1 0
!
Пример 5. Карнови
x y z mмапи со 2 променливи
x xy' xy 1 1 1
0 0 0 m0 ! !
0 0 1 m1 !
0 1 0 m2 xy+x'y xy'+x'y
0 1 1 m3
! ! ! ! !
1 0 0 m4 x\y y' y x\y y' y x\y y' y
1 0 1 m5
x'y !
1 1 0 m6 x' x'y x' 1 x' 1
1 1 1 m7 '
! !
x xy' xy x 1 x 1
xy+x'y xy'+x'y ! xy'+x'y+x'y'
! ! ! ! ! ! ! ! !
x\y y' y x\y y' y x\yx\y 0 y' 1 y ! x\y
x\y 0y' 1y x\y 0 1
! !
x' x'y' x'y x' 1 0 x' x'y x'y1 0x' 1 11 0 1
! !
x xy' xy x 1 1 x xy' 1 xy 1x 1 1 1 1
! ! !
! ! ! !
x\y 0 1 x\y 0 1 x\y 0 1
! ! ! !
0 1 0 1 0 1 1
www.finki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twitter.com/FINKIedu
! ! ! !
1 1 1 1 1 1
25
K-мапи сп 2 прпменливи
xy x y x y xy xy x y x y
y
!
x 1 x 1 x 1 𝑥𝑦 + 𝑥 𝑦 + 𝑥 𝑦 + 𝑥 𝑦 =
!
!
=𝑦+𝑥
x\y 0 1 x\y 0 1 x\y 0 1
!
0 1 0 1 0 1 1
!
1 1 1 1 1 1
!
0 1 1
𝑥𝑧 + 𝑥𝑦 + 𝑥𝑧
X 1 1 1 1
Z
Fig. 2-15 F( X, Y , Z ) = Sm(1, 3, 4, 5, 6)
X 1 1 1 1
Boolean function .
YZ Y
X 00 01 11 10
0 1 1 1
MΣOP 𝐹 = 𝑧 + 𝑥 𝑦.
X 1 1 1
Z
Fig. 2-16 F( X , Y , Z ) = Sm (1 ,2 , 3, 5, 7)
Z Z
(a) (b)
Пример 10. Користејќи К-мапи за функции со 4
Fig. 2-18 Four-Variable Map: Flat and on a Torus to Show Adjacencies
00 1 1 1 MΣOP 𝐹 = 𝑦 + 𝑤𝑧 + 𝑥𝑧.
01 1 1 1
X
11 1 1 1
W
10 1 1
Z
Fig. 2-19 Map for Example 2-5: F = Y + WZ + XZ