Exemplos de ALE1_Yongshi_Liang DisjunctiveNormalForm.GetDisjunctiveNormalForm em C# (CSharp)

Exemplo n.º 1

        //show the disjunctive normal form
        private void ShowDisjunctiveNormalForm(DisjunctiveNormalForm dnf)
        {
            //in truth table
            dnf.GetDisjunctiveNormalForm(false);
            tb_TFDisj_Infix.Text  = dnf.DisjunctiveNormalFormInfix;
            tb_TFDisj_Prefix.Text = dnf.DisjunctiveNormalFormPrefix;

            //in simplified truth table
            dnf.GetDisjunctiveNormalForm(true);
            tb_STFDisj_Infix.Text  = dnf.SimpDisjunctiveNormalFormInfix;
            tb_STFDisj_Prefix.Text = dnf.SimpDisjunctiveNormalFormPrefix;
        }