OCLの論理演算 `not` を `null` (undefined)に対して適用した結果はどうなるか。

OCLの3値論理では、`not null` は `null` と評価される(真偽が不明なものの否定はやはり不明)。