public void ExactlyOne() { Literal <string> a = "a", b = "b", c = "c"; Clauses.ExactlyOne(a, b, c) .Should().Equal((a | b | c) & (!a | !b) & (!a | !c) & (!b | !c)); }
public void AtMostOne() { Literal <string> a = "a", b = "b", c = "c"; Clauses.AtMostOne(a, b, c) .Should().Equal((!a | !b) & (!a | !c) & (!b | !c)); }