论文研究-关于满足[I(x,y)=I(x,I(x,y))] D-蕴涵的解.pdf

研究了[I(x,y)=I(x,I(x,y))]方程，[I]为由连续三角模[T]、连续三角余模[S]和强否定[n]生成的D-蕴涵，即[I(x,y)=S(T(n(x),n(y)),y)]，给出了满足方程[I(x,y)=I(x,I(x,y))]的解。