Postulati boolove algebre:

Pragovne funkcije:
-funkcija je pragovna, če obstaja množica uteži
x x x f ,...,
( n , 2
1 ) { w , w2,...,
wk
}
( ) 1
n
1 in prag P,
tako, da velja: f x1
, x2,...,
xn
= , če je ∑ wi
xi
≥ P .
i=
1
Negacija pragovne funkcije je vedno pragovna funkcija in popolnoma monotone funkcije
so tudi pragovne.
Globalni prag P:
-je minimalna vrednost P l , ko je f ( x1
l , x2l
, x3l
) = 1.
Če je ta vrednost P hkrati tudi večja
od vseh lokalnih pragov, za katere je f ( x x , x ) = 0 , je funkcija pragovna.
Programabilna logična vezja:
1 l , 2l
3l
PROM – programmable read only memory (programiramo matriko ali)
PAL – programmable array logic (programiramo matriko in)
PLA – programmable logic array (programiramo obe matriki)
Sekvenčna vezja:
{ n x x x , 1 2
{ y1,
y2
ym
{ l S S S , 1 2
x = ,..., } množica vhodnih spremenljivk
y = ,..., množica izhodnih spremenljivk
}
}
( t + ∆t)
[ S(
t),
x(
t)
]
S = ,..., množica notranjih stanj avtomata
S =
Mealyjev tip avtomata: Mooreov tip avtomata:
y ( t)
= f [ S(
t),
x(
t)
]
y ( t)
=
f [ S(
t)
]