Пример #1
0
        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));
        }
Пример #2
0
        public void AtMostOne()
        {
            Literal <string> a = "a", b = "b", c = "c";

            Clauses.AtMostOne(a, b, c)
            .Should().Equal((!a | !b) & (!a | !c) & (!b | !c));
        }