ホワイトボックステストにおいて、MC/DC網羅が判定網羅(C2)よりも強力である理由は。

判定全体の真偽だけでなく、個々の条件が「確かに結果を左右している」ことを論理的に証明します。