研究了[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))]的解。