private void btnGenerateTruthTable_Click(object sender, EventArgs e)
{
BuildTree();
//Create the truth table from the formula
myTruthTable = new TruthTable(myProcessing.Variables);
myProcessing.AssignRowValues(myTruthTable.GetRows());
//Display both truth tables and hash code
tbTruthTable.Text = myTruthTable.ToString();
tbSimplifiedTruthTable.Text = myTruthTable.SimplifiedTableToString();
tbHashCode.Text = myTruthTable.GetHashCodeTB();
}
private void btnParse_Click(object sender, EventArgs e)
{
BuildTree();
//Display the infix notation of the formula
tbInfixRes.Text = myProcessing.GetInfix(myProcessing.RootProp);
//Create the truth table from the formula
myTruthTable = new TruthTable(myProcessing.Variables);
myProcessing.AssignRowValues(myTruthTable.GetRows());
//Get DNF form
GetDNF();
GetDNFSimple();
//Get nandify
GetNAND();
}