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

論理積(and)では、一方がfalseであれば他方がinvalidであっても結果はfalseと確定する。