private void btnReadNAND_Click(object sender, EventArgs e) { string proposition = myTree.DisplayOnlyNAND(); myTree.InsertTree(proposition); TruthTable myTruthTable = new TruthTable(myTree.GetRoot()); lbDisjunctiveNormalForm.Items.Clear(); //display tbOutputInfix.Text = myTree.DisplayInOrder(); tbTruthTable.Text = myTruthTable.GetTableInString(); tbHashCode.Text = myTruthTable.GetTruthTableHashCode(); lbDisjunctiveNormalForm.Items.Add(myTruthTable.DisjunctiveNormalForm()); tbSimplified.Text = myTruthTable.MinimizeTruthTable(); tbSimplifiedDisjunction.Text = myTruthTable.SimplifiedTableDisjunctiveForm(); }
private void btnRead_Click(object sender, EventArgs e) { //clear lb lbBoundVar.Items.Clear(); lbUnboundVar.Items.Clear(); //enable button btnDraw.Enabled = true; btnDrawProofTree.Enabled = true; //create binary tree string proposition = tbInput.Text; //create normal tree myTree.InsertTree(proposition); //check input if (FunctionHelper.EvaluateFormula(proposition)) { tbOutputInfix.Text = myTree.DisplayInOrder(); foreach (var v in myTree.GetBoundVar()) { lbBoundVar.Items.Add(v); } foreach (var v in myTree.GetUnboundVar()) { lbUnboundVar.Items.Add(v); } } else { btnReadDisjunction.Enabled = true; btnReadNAND.Enabled = true; TruthTable myTruthTable = new TruthTable(myTree.GetRoot()); lbNAND.Items.Clear(); lbDisjunctiveNormalForm.Items.Clear(); //display tbOutputInfix.Text = myTree.DisplayInOrder(); tbTruthTable.Text = myTruthTable.GetTableInString(); tbHashCode.Text = myTruthTable.GetTruthTableHashCode(); lbDisjunctiveNormalForm.Items.Add(myTruthTable.DisjunctiveNormalForm()); tbSimplified.Text = myTruthTable.MinimizeTruthTable(); tbSimplifiedDisjunction.Text = myTruthTable.SimplifiedTableDisjunctiveForm(); lbNAND.Items.Add(myTree.DisplayOnlyNAND()); } }