请针对给定的C程序，设计满足100%判定覆盖（DC）所需的逻辑条件。

本题考查的是白盒测试中的判定覆盖法。判定覆盖是指设计足够的测试用例，使得被测程序中的每个判定表达式至少获得一次“真”值和一次“假”值，从而使程序的每一个分支至少都通过一次。因此，对于本题中的程序，我们需要设计至少十二个逻辑条件来满足判定覆盖的要求。具体的逻辑条件设计需要根据程序的逻辑结构进行，以保证每个分支都能被覆盖到。