Exemple #1
0
 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";
     }
 }