private void GetDNFSimple()
{
if (myTruthTable.GetDNFSimple() != null)
{
tbDisjuncSimpliInF.Text = myTruthTable.GetDNFSimple().Infix();
tbDisjuncSimpliPreF.Text = myTruthTable.GetDNFSimple().Prefix();
}
else
{
tbDisjuncSimpliInF.Text = "No DNF simple for this formula";
tbDisjuncSimpliPreF.Text = "No DNF simple for this formula";
}
}