public SimplifiedTruthTableForm(string originalFormula, AsciiTree asciiTree)
 {
     InitializeComponent();
     _originalFormula = originalFormula;
     _myTree          = asciiTree;
     ShowSimplifyTruthTable();
 }
        public MainForm()
        {
            InitializeComponent();

            tbInput.MaxLength  = int.MaxValue;
            tbInput.ScrollBars = ScrollBars.Horizontal;
            tbInput.WordWrap   = false;
            tbInput.Multiline  = true;

            tbDisjunctive.WordWrap   = false;
            tbDisjunctive.Multiline  = true;
            tbDisjunctive.ScrollBars = ScrollBars.Horizontal;

            tbDisjunctiveSimplified.WordWrap   = false;
            tbDisjunctiveSimplified.Multiline  = true;
            tbDisjunctiveSimplified.ScrollBars = ScrollBars.Horizontal;

            ttCheckBoxSimplifiedTruthTable.SetToolTip(cbSimplifiedTruthTable, "Check this to see the simplified truth table!\nUncheck to skip computing the simplified truth table!");

            cbSimplifiedTruthTable.Checked = true;

            btnViewTreeGraph.Enabled = false;

            this.Text       = "Ascii Formula Analyzer";
            FormBorderStyle = FormBorderStyle.FixedSingle;
            _myTree         = AsciiTree.GetAsciiTree();
        }
 private void ResetForm()
 {
     _myTree = AsciiTree.GetAsciiTree();
     tbInput.Clear();
     tbVariables.Clear();
     tbDisjunctive.Clear();
     tbDisjunctiveSimplified.Clear();
     tbNandifiedForm.Clear();
     tbHexValue.Clear();
     dgvTruthTable.Rows.Clear();
     dgvTruthTable.Columns.Clear();
 }