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

【15分】

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

1、i ＜= 50

2、i ＞ 50

3、0 == x

4、0 != x

5、x ＞ 0

6、x ＜= 0

本题考查的是白盒测试中的判定覆盖法。判定覆盖指设计足够的测试用例，使得被测程序中每个判定表达式至少获得1次“真”值和“假”值，从而使程序的每一个分支至少都通过1次。针对提供的程序，我们需要分析程序中的判定表达式并为其设计逻辑条件以满足判定覆盖。程序中有三个判定表达式：if (i <= 50)，if (i > 50)，以及if (x == 0)。为了满足判定覆盖，我们需要为每个判定表达式设计两个逻辑条件，一个使表达式为真，另一个为假。因此，我们得到了上述六个逻辑条件。