OCLにおいて「true or invalid」を評価した結果はどうなるか。

論理和(or)では、片方がtrueであれば結果が確定するため、もう一方がinvalidでもtrueとなる。