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