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

    | (_,False)
    | (False,_) -> False

    | (_,_) -> Undefined