11.5.4 Boolean

or (b : Boolean) : Boolean

• self和b任一为真则为真。
• 否则如果self或b任一为invalid则为invalid。
• 否则如果self或b任一为null则为null。
• 否则为假。

xor (b : Boolean) : Boolean

• self和b一个为真，一个为假，则值为真。
• self和b同时为真或同时为假，则值为假。
• 否则，如果self或b任一为invalid则为invalid。
• 否则为null。

post: (self or b) and not (self = b)

and (b : Boolean) : Boolean

• self和b任一为假，则为假
• 否则如果self或b任一为invalid则为invalid
• 否则如果self或b任一为null则为null
• 否则为真

not : Boolean

• 如果self为假，则为真
• 如果self为真，则为假
• 如果self为null，则为null
• 否则为invalid

post: if self = null then result = null
        else if self then result = false
        else result = true
        endif
endif

implies (b : Boolean) : Boolean

• 如果self为假或b为真，则为真
• 否则如果self或b任一为invalid，则为invalid
• 否则如果self或b任一为null，则为null
• 否则为假

post: (not self) or b

toString() : String

把self转为一个字符串值。