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