C# (CSharp) Negation.Is_NNF Examples

Example #1

File: TestBooleanFormulaRepresentation.cs Project: p-offtermatt/simbool

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

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

Example #2

File: TestBooleanFormulaRepresentation.cs Project: p-offtermatt/simbool

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

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