《表6 三角形类型判定程序的化简判定表》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《判定表法的教学案例研究》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

在表5中不存在可以合并的冗余规则，因此本例无须考虑规则的合并。然而，第5、6、8条规则却存在矛盾。例如，对于第5条规则而言，后面三个条件的取值是TTF，分别表示a=b、a=c和b≠c，这显然是矛盾的。对第6、8条规则也可以做类似的分析。消除这三条规则将获得化简的判定表，化简结果如表6所示。