private void button3_Click(object sender, EventArgs e) { formula a = new formula(); if (Expression_checkbox.Checked) { a = string_helper.Parser_Expressions(richTextBox1.Text); //Строим по строке формулу } else //if (Predicate_checkbox.Checked) { a = string_helper.Parser_Predicates(richTextBox1.Text); //Строим по строке формулу } a = a.get_basic(); //приведем формулу к нормальному виду a = a.distributivity(); richTextBox1.Text = a.ToString(); //выводим ее назад if (a.is_DNF) { formula_is_DNF.Text = "true"; } else { formula_is_DNF.Text = "false"; } if (a.is_KNF) { formula_is_KNF.Text = "true"; } else { formula_is_KNF.Text = "false"; } }
private void make_ssf_button_Click(object sender, EventArgs e) { formula a = new formula(); if (Expression_checkbox.Checked) { MessageBox.Show("Необходимо выражение ИППП", "Ошибка"); richTextBox1.Text = "Введите сюда выражение ИППП"; } else //if (Predicate_checkbox.Checked) { a = string_helper.Parser_Predicates(richTextBox1.Text); //Строим по строке формулу a = a.get_basic(); //приведем формулу к нормальному виду a = a.make_PNF(); a = a.make_SSF(); richTextBox1.Text = a.ToString(); //выводим ее назад if (a.is_DNF) { formula_is_DNF.Text = "true"; } else { formula_is_DNF.Text = "false"; } if (a.is_KNF) { formula_is_KNF.Text = "true"; } else { formula_is_KNF.Text = "false"; } } }