【说明】

逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C 语言编写的程序，按要求回答问题。

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

问题2：(8分)请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。

问题3：(3分)请给出【问题2】中控制流图的线性无关路径。