题目一：阅读下列程序，回答问题1至问题3，将解答填入答题纸的对应栏内。

【15分】

【说明】针对以下由C 语言编写的程序，按要求回答问题。

1、i ＜= 1000

2、i ＞ 1000

3、i%5 != 0

4、i%5 == 0

判定覆盖指的是设计足够的测试用例，使得被测程序中的每个判定表达式至少获得一次“真”值和“假”值，从而确保程序的每个分支至少都通过一次。在这个程序中，有两个判定：一个是 if 条件语句中的判定（即 i 是否小于等于 1000），另一个是循环条件中的判定（即 i 是否能被 5 整除）。为了满足判定覆盖，我们需要四个逻辑条件来覆盖这两个判定的所有可能情况。上述答案给出了这四个逻辑条件。