public XElement Parse(out string outString) { LogicPadParser.TruthTableSolver solver = new LogicPadParser.TruthTableSolver(); solver.CurrentTruthTable = this.TruthTableInkCanvas.TruthTable; solver.Solve(); if (solver.Solution.Equals("1")) { outString = "1"; return null; } else if (solver.Solution.Equals("0")) { outString = "0"; return null; } else { outString = LogicPadParser.InterTree.ParseExpressionToString(LogicPadParser.LogicPadParser.truthTable); return LogicPadParser.LogicPadParser.Instance.ParseTruthTable(LogicPadParser.LogicPadParser.truthTable); } }
public void MinimizeBooleanExpression(InputTruthTable currentTruthTable) { //TruthTableSolver solver = TruthTableSolver.Instance; LogicPadParser.TruthTableSolver solver = new LogicPadParser.TruthTableSolver(); solver.CurrentTruthTable = currentTruthTable; solver.Solve(); this.GeneratedExpr = currentTruthTable.outputName + " = " + solver.Solution; MessageBox.Show(this.GeneratedExpr); }