C# (CSharp) NDSolver NOT示例

示例#1

        public void Visit(NOT not)
        {
            Sequent sequent = new Sequent(
                new ISymbol[0],
                not
                );

            Result = solver.Prove(sequent);
        }

示例#2

文件： SymbolEnumerator.cs 项目： AlbinEriksson/NDSolver

 public void Visit(NOT not)
 {
     VisitUnaryFunction(not);
 }