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));
}