f 1 ≡ 0 - 0
f 2 ≡ 1 -
f 3 ≡ x -
f 4 = - x
f5 = x 1 ٨ x2,(x1* x2 ), x1 @ x2, x1 x2 f5 = min (x1 , x2)
f6 = x1 ٧ x2 x1 x2 ; f6 = max (x1,x2)
f7 = 2.
f8 = x1~ x2 x1 x2
f9 = x1→x2 - x1 x2
f10 = x1 ∕ x2 x1 x2 ,
f11= - ϳ x1 x2 ; .
, .
σ ={ך, ٨, ٧, , ~, →, ∕, } .
:
;
ך - σ
٨ ٧, , ~, →, ∕, .
, .
٨, ٧, , ∕, , ~, →.
(0 {٨, ٧, , ∕, , ~}):
x y = y x
(x y) z = x (y z)
-
; ; ; .
; , .
2 .
:
~ .
, - ={ ך, ٧,٨} .
, . .
xi f(x1,x2,xi-1, xi,... xn), α1 ,αi-1, αi+1...αn ,
f(α1,αi-1,0,αi+1,...αn)≠f(α1,αi-1,1,αi+1...αn),
xi , . f(x) y(x) , .
.
.
.
,
.
³ .
() , . .
() () ().
1 , 0 - 0 .
|
|
D=k1٧k2٧...٧ks, (ki i=1,... s ) (...).
K=D1٨D2.٨Ds, (Di i=1,,s ) . (...)
f (x1....xn) 1 ≤m ≤ n :
=
x1xm.
m .
1
.
.
f(x1xn-1, 1) f(x1 xn-1,0) () .
2.
.
, ,
, f {σn} 1 ,
, .