判定类型 有效等价类 无效等价类
一般三角形 ((a>0) Λ(b>0) Λ(c>0)) Λ (a<=0 V b<=0 V c<=0) Λ
(((a+b)>c) V ((a+c)>b) V ((b+c)>a)) (1) (((a+b)<=c) V ((a+c)<=b) V ((b+c)<=a)) (2)
等腰三角形 (1) Λ (a=b V a=c V b=c) (3) (2) V (a!=b V b!=c V a!=c) (4)
等边三角形 (1) Λ (a=b=c ) (5) (2) V (a!=b!=c) (6)