给出了SD(TD)-QL蕴涵满足布尔送代律函数方程I(x,y)=I(x,I(x,y))的充要条件,然后在标准理论([0,1],T,S,N)的框架下给出了布尔送代律函数方程S(a,b)=S(T(a,b),T(S(a,b),N(T(a,b))))有解的2个充分条件。
The i terative boolean - like law I(x,y) = I ( x, I ( x, y) ) of SD( TD ) - QL implications is discussed and the sufficient and necessary conditions for of S. ( T. ) - QL implications to satisfy iterative boolean -like law (a,b) ,N( T(a,b) ) ) ) are given; then the iterative boolean - like law S ( a, b) = S ( T( a, b ) , T( S is investigated and two sufficient conditions for standard theories ( [ 0, 1 ], T,S,N) to satisfy the iterative boolean- like law are given.