Создание программы для построения таблицы истинности

 

        private void buttonDisjunction_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "+");

        }

 

        private void buttonConjunction_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "*");

        }

 

        private void buttonImplication_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, ">");

        }

 

        private void buttonImplicationReverse_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, ">>");

        }

 

        private void buttonImplicationNegation_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "<");

        }

 

        private void buttonImplicationReverseNegation_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "<<");

        }

 

        private void buttonInversion_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "!");

        }

 

        private void buttonPiercesArrow_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "v");

        }

 

        private void buttonOne_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "1");

        }

 

        private void buttonTwo_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "2");

        }

 

        private void buttonThree_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "3");

        }

 

        private void buttonFour_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "4");

        }

 

        private void buttonFive_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "5");

        }

 

        private void buttonSix_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "6");

        }

 

        private void buttonSeven_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "7");

        }

 

        private void buttonEight_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "8");

        }

 

        private void buttonNine_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "9");

        }      

 

        private void buttonZero_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "0");

        }

 

        private void buttonX_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "x");

        }

 

        private void buttonY_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "y");

        }

 

        private void buttonBackspace_Click(object sender, EventArgs e)

        {

            try

            {

                textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, isDelete: true);

            }

            catch (Exception)

            {

            }

        }

 

        private void buttonBracketOpen_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "(");

        }

 

        private void buttonBracketCloset_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, ")");

        }

 

        private void buttonExcludingOr_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "@");

        }

 

        private void buttonShefferStroke_Click(object sender, EventArgs e)

        {

            textBoxOutputExpression = InputSymbolInTextBox(textBoxOutputExpression, "|");

        }       

    }

}

Результат работы программы

 

 

 

 

 

 

 

 

Проверка результата

 

X1	X2	X3	X1+ X2	!X1*!X2	!X1*!X2+X3	(X1+ X2)*(!X1*!X2+X3)
0	0	0	0	1	1	0
0	0	1	0	1	1	0
0	1	0	1	0	0	0
0	1	1	1	0	1	1
1	0	0	1	0	0	0
1	0	1	1	0	1	1
1	1	0	1	0	0	0
1	1	1	1	0	1	1

 

X1	X2	X3	!X1+X2	!X3*(!X1+X2)	X1vX2	!X3*(!X1+X2)*(X1vX2)
0	0	0	1	1	1	1
0	0	1	1	0	1	0
0	1	0	1	1	0	0
0	1	1	1	0	0	0
1	0	0	0	0	0	0
1	0	1	0	0	0	0
1	1	0	1	1	0	0
1	1	1	1	0	0	0

 

(X1+X2)* (!X1*!X2+X3)	!X3*(!X1+X2)* (X1vX2)	(X1+ X2)*(!X1*!X2+X3)+ !X3*(!X1+X2)*(X1vX2)
0	1	1
0	0	0
0	0	0
1	0	1
0	0	0
1	0	1
0	0	0
1	0	1

Выводы

У меня получилось создать неплохую программу, которая может помочь быстро проверить правильность созданных вручную таблиц истинности. Также в ходе написания программы я освоил некоторые булевые функции, которые помогут мне при выполнения тестових заданий.

 

 

 

 

28/03/2013  КТ-711 Валуйский Р.В.  из 6

[Введите текст]

28/03/2013  КТ-711 Валуйский Р.В.  из 16