OCLで「true or invalid」を評価した際の結果はどれか。

論理和(or)では、一方がtrueであれば他方が何であっても結果はtrueと確定する。