修正判定条件覆盖-----程序中的每个输入和输出都至少被调用一次，在程序中的每一个条件必须产生所有可能的输出结果至少一次，并且每一个判定中的每一个条件必须能够独立影响一个判定的输出，即在其他条件不变的前提下仅改变这个条件的值，而使判定结果改变。
| A&&B | |||||
| OUT | A | B | |||
| T | T | T | |||
| F | F | T | |||
| F | T | F | |||
| A||B | |||||
| OUT | A | B | |||
| F | F | F | |||
| T | T | F | |||
| T | F | T | |||
| A||(B&&C) | |||||
| OUT | A | B | C | ||
| T | T | F | T | ||
| F | F | F | T | ||
| T | F | T | T | ||
| F | F | T | F | ||
| A&&(B||C) | |||||
| OUT | A | B | C | ||
| F | F | F | T | ||
| T | T | T | F | ||
| F | T | F | F | ||
| T | T | F | T | ||
| (A&&B)||(C&&D) | |||||
| OUT | A | B | C | D | |
| F | F | T | F | T | |
| T | T | T | F | T | |
| F | T | F | F | T | |
| T | T | F | T | T | |
| F | T | F | T | F | |
| (A||B)&&(C||D) | |||||
| OUT | A | B | C | D | |
| T | T | F | T | F | |
| F | F | F | T | F | |
| T | F | T | T | F | |
| F | F | T | F | F | |
| T | F | T | F | T | |