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