Ejemplos de Negation.Is_NNF en C# (CSharp)

Ejemplo n.º 1

Archivo: TestBooleanFormulaRepresentation.cs Proyecto: p-offtermatt/simbool

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

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

Ejemplo n.º 2

Archivo: TestBooleanFormulaRepresentation.cs Proyecto: p-offtermatt/simbool

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

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