F1-19

© J. Kalisz, WAT, 2008

Podstawy teorii układów logicznych

• Układ logiczny – wielowrotnik o n wejściach i m

wyjściach

•

Sygnały binarne

x, y

∈

B

•

Wektor wejściowy

: X = (x

1

, x

2

,..., x

n

)

•

Wektor wyjściowy

: Y = (y

1

, y

2

,..., y

m

)

•

Stany wejść

X

j

i

wyjść

Y

l

otrzymuje się przy nadaniu

elementom wektorów wartości zerojedynkowych.

Np. X

25

= (0, 1, 1, 0, 0, 1)

•

Zbiór

X

występujących

stanów X

j

o postaci X

⊆

B

n

jest podzbiorem iloczynu kartezjańskiego B

n

,

który zawiera

wszystkie

możliwe

2

n

= N stanów.

•

Numeracja stanów

X

j

: j

∈

{0, 1, 2,..., N – 1} = N.

Np. n = 2: X = B

2

= {X

0

, X

1

, X

2

, X

3

} = {00, 01, 10, 11}

•

Dodatkowe oznaczenie zbioru

N

n

bezpośrednio wskazuje na

liczbę sygnałów wejściowych.

Np. N

3

= {0, 1, 2,..., 7}

• Analogicznie

zbiór

Y

występujących

stanów Y

l

o postaci

Y

⊆

B

m

jest podzbiorem iloczynu kartezjańskiego B

m

,

który zawiera

wszystkie możliwe

2

m

= M stanów,

l

∈

{0, 1, 2,..., M – 1} = M.

Prezentacje angielskie: Google>Advanced> logic implicants

Np. prezentacja prof. Sunghyun Choi z

Seoul National University

(Korea)

http://www.mwnl.snu.ac.kr/~schoi/Courses/201/index.html

w tym:

2.CH02.rev.ppt

x

1

x

n

x

2

y

1

y

2

y

m