C# (CSharp) Negation.Is_NNF 예제들

예제 #1

파일: TestBooleanFormulaRepresentation.cs 프로젝트: p-offtermatt/simbool

        public void FalseExample3()
        {
            Negation neg = new Negation(new Disjunction(A, new Negation(C)));

            Assert.False(neg.Is_NNF());
        }

예제 #2

파일: TestBooleanFormulaRepresentation.cs 프로젝트: p-offtermatt/simbool

        public void FalseExample2()
        {
            Negation neg = new Negation(new Conjunction(A, B));

            Assert.False(neg.Is_NNF());
        }