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);
}
