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

【说明】

逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C 语言编写的程序（实现了输入三个数之后，输出最大数和最小数的功能），按要求回答问题。

问题1：(3分)请给出满足100%DC(判定覆盖)所需的逻辑条件。