Código fuente del indicador Zcdx
x=(a+b)(c+d)=ac+bc+ad+bd
y=(a+c)(b+d)=ab+bc+ad+cd
z=(a+d)(b+c)=ab+ac+bd+cd
x-y = AC-a b+ BD-CD = a(c-b)+d(b-c) =(a-b)(c-b), c-b>0, a-b<0, entonces x-y
y-z = BC-AC+ad-BD = c(b-a)+d(a-b)=( c-d)(b-a), c-d <0, b-a >0, entonces y-z < 0, y & ltz
Entonces x < y & ltz