MC/DC のテストの数

$n \ge 1$ とし、$\varphi : \{0, 1\}^n \to \{0, 1\}$ をブール関数とする。$U \subseteq \{0, 1\}^n$ が、各 $i = 1, \ldots, n$ について第 $i$ 変数の独立対（第 $i$ 成分だけで異なり $\varphi$ の値が異なる 2 元）を含むとする。

1. $|U| \ge n + 1$ である。
2. $\varphi$ が、変数 $x_1, \ldots, x_n$ がそれぞれちょうど 1 回現れる、$\wedge$・$\vee$・$\lnot$ による式で表されるならば、各変数の独立対を含む $U$ で $|U| = n + 1$ のものが存在する。