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