OCLにおいて「invalid and false」の結果はどうなるか。

AND演算では一方がfalseであれば、もう一方が何(invalid含む)であっても結果はfalseと確定する。