let bool3or c1 c2 = match (c1,c2) with | (True,_) | (_,True) -> True | (_,Undefined) | (Undefined,_) -> Undefined | (_,_) -> False