《表4 闰年判定程序的化简判定表》
表3的第3、5、6、7条规则都存在逻辑矛盾。例如第3条规则的含义是year能够被4和400整除,但不能被100整除,这是不可能的,因此存在矛盾。对其他三条规则也可以做类似的分析。上述四条规则的“矛盾”动作中都填入了“T”,表示这是矛盾规则。在化简判定表时,只要删除矛盾规则所在的列即可。化简的判定表如表4所示。此时,判定表中不用再包含“矛盾”动作了。
图表编号 | XD00899300 严禁用于非法目的 |
---|---|
绘制时间 | 2019.11.01 |
作者 | 薛峰 |
绘制单位 | 安徽师范大学计算机与信息学院 |
更多格式 | 高清、无水印(增值服务) |