Max Horn Sat and the Minimum Cut Problem in Directed Hypergraphs