PrÃklady
PrÃklady
PrÃklady
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Príklady z Logických systémov<br />
RNDr. Peter Kaprálik, PhD.<br />
f : S t B 2 , f(p) = (0, 0), f(q) = (0, 1), f(r) = (1, 0),<br />
g : X t B 2 , g(a) = (0, 0), g(b) = (1, 0), g(c) = (1, 1),<br />
h : Z t B, h(u) = 0, h(v) = 1,<br />
čo môžeme znázorniť pomocou Karnaughových máp:<br />
y 2 x 2<br />
p q<br />
a<br />
y 1<br />
r x 1<br />
b c z<br />
u<br />
v<br />
Pri tejto voľbe kódovým ekvivalentom automatu A je automat A B = ( f(S), g(X), h(Z), B , B ),<br />
kde<br />
f(S) = (0, 0), (0, 1), (1, 0) , g(X) = (0, 0), (1, 0), (1, 1) , h(Z) = 0, 1 a funkcie B , B sú<br />
určené tabuľkou<br />
A B<br />
(0, 0)<br />
(0, 1)<br />
(1, 0)<br />
(0, 0)<br />
(0, 1)/0<br />
(0, 0)/0<br />
(0, 0)/1<br />
(1, 0)<br />
(1, 0)/0<br />
(0, 1)/1<br />
(1, 0)/0<br />
(1, 1)<br />
(0, 1)/1<br />
(1, 0)/0<br />
(0, 0)/0<br />
Automat rozšírime na dvojkový neúplne špecifikovaný automat A B = B 2 , B 2 , B, B , B ,<br />
ktorý pokrýva automat :<br />
A B<br />
(0, 0)<br />
(0, 1)<br />
(1, 0)<br />
(1, 1)<br />
(0, 0)<br />
(0, 1)/0<br />
(0, 0)/0<br />
(0, 0)/1<br />
− / −<br />
(1, 0)<br />
(1, 0)/0<br />
(0, 1)/1<br />
(1, 0)/0<br />
− / −<br />
(1, 1)<br />
(0, 1)/1<br />
(1, 0)/0<br />
(0, 0)/0<br />
− / −<br />
(0, 1)<br />
− / −<br />
− / −<br />
− / −<br />
− / −<br />
Budiace funkcie a výstupnú funkciu vyjadríme pomocou Karnaughovej mapy:<br />
x<br />
x<br />
Y 1 2<br />
x<br />
x<br />
1 Y 1 2<br />
x<br />
x<br />
2 z 1 2<br />
0 1 0 –<br />
1 0 1 –<br />
0 0 1 –<br />
y y y 1 0 1 0 –<br />
1 0 0 0 –<br />
1 1 0 0 –<br />
y<br />
– – – –<br />
y<br />
– – – –<br />
y<br />
– – – –<br />
2 2 2<br />
0 0 1 –<br />
0 1 0 –<br />
0 1 0 –<br />
Nedefinované hodnoty dourčíme tak, aby sme minimalizovali DNF týchto funkcií:<br />
27