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

【20分】

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

1、i<=r

2、i＞r

3、k<=abs(i)

4、k＞abs(i)

5、j<=(2*r+1)-2*abs(i)

6、j＞(2*r+1)-2*abs(i)

7、j==1 || j==((2*r+1)-2*abs(i))

8、j!=1 && j!=((2*r+1)-2*abs(i))

本题考查的是基于结构的测试中基于控制流的判定测试。判定测试要求使程序中的每个判定语句的取值都要被遍历到。在这个程序中，共有4个判定，为了满足100%判定测试覆盖，每个判定的结果需要为真和假都至少出现一次。因此，需要8个逻辑条件来满足判定覆盖。这些逻辑条件涵盖了程序中所有的判定语句，确保了程序的全面测试。