92
M. Siwczyński
1 stosuje się ją do układów dwustanowych działających w sposób niepewny. Elementy tych układów przyjmują położenia O lub 1 z określonym prawodopo-dobieństwem. Według sformułowania stosowanego w [_s] i [V] składowa X1 G [o.l] wektora stanu x Jest równa prawdopodobieństwu tego, że i-ty bit wektora (bajtu) x przyjmuje wartość
Ostatnio wzrasta zainteresowanie logikami wielowartośclowymi, w których przy tej samej liczbie elementów pamiącl maleje długość słów.
W logice wlelowartośclowej elementy mogą znajdować sią w jednym z N stanów i
dodawania modulo N
odejmowanie nodulo N
x (g) y ■ min(x,y)
Nietrudno udowodnić łęczność działań i
(x*y) © z.
x*y+z e Bn
x+y+z 4 Bn
y+y+z-N, x+y+z-N G BN
x+y*z-2N, x+y+z-N 4 bn
- x © (v® z)
Aby udowodnić łączność ® , zauważmy że reet(xy/N) ■ xy - pNG BN
gdzie p 6 Z+ (zbiór liczb całkowitych nieujennych). Otrzymamy i
(x© y) @ z«(xy-pN) ® z-(xy-pN)z-qN-xyz-(pz+q)N-xyz-eN G BN, e 6 x © (y © z)«x © (yz-pN)*x(yz-pN)-qN«xyz-(xp*q)N»xyz-eN e BN» e 6
stęd wynika, że
x © (y © z) ■ (x © y) © z