我已经定义了四个布尔运算： def bnot : bool → bool | tt := ff | ff := tt def band : bool → bool → bool | tt b...