public void DecreaseTerm()
{
if (numberOfTermSelected)
{
ClearCanvas();
--Terms;
}
else
{
//Do not selected before
//Term initialization
Terms = 2;
numberOfTermSelected = true;
}
this.myTerm.Content = Terms.ToString();
this.truthTableInkCanvas.ShowInkAnalysisFeedback = false;
//Initialize one TruthTable
InputTruthTable truthTable = new InputTruthTable(this.truthTableInkCanvas, Terms);
truthTable.truthTableInputErrorDisplayed += new DisplayTruthTableErrorHandler(truthTable_truthTableInputErrorDisplayed);
truthTable.InitDrawing();
this.truthTableInkCanvas.TruthTable = 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);
}
