C# (CSharp) ALE1.Truth_Table.TruthTable.GetDNFSimple Exemples

Exemple #1

Fichier : UnitTest1.cs Projet : HaiAnhLe2910/Logic-in-Practice

        public void GetDNFSimpleInfix()
        {
            ProcessProposition myProcessing = new ProcessProposition();
            string             input        = "%(~(A),>(>(C,|(D,E)),~(B)))";

            myProcessing.RootProp = myProcessing.InsertInBinaryTree(ref input);
            myProcessing.FillTheVariablesList();

            ALE1.Truth_Table.TruthTable myTruthTable = new ALE1.Truth_Table.TruthTable(myProcessing.Variables);
            myProcessing.AssignRowValues(myTruthTable.GetRows());

            Assert.AreEqual(myTruthTable.GetDNFSimple().Infix(), "(A | ((B & ~ C) | ((B & E) | (B & D))))");
        }

Exemple #2

Fichier : UnitTest1.cs Projet : HaiAnhLe2910/Logic-in-Practice

        public void GetDNFSimplePrefix()
        {
            ProcessProposition myProcessing = new ProcessProposition();
            string             input        = "&(~(A),>(>(C,|(D,E)),~(B)))";

            myProcessing.RootProp = myProcessing.InsertInBinaryTree(ref input);
            myProcessing.FillTheVariablesList();

            ALE1.Truth_Table.TruthTable myTruthTable = new ALE1.Truth_Table.TruthTable(myProcessing.Variables);
            myTruthTable.SimplifiedTableToString();
            myProcessing.AssignRowValues(myTruthTable.GetRows());

            Assert.AreEqual(myTruthTable.GetDNFSimple().Prefix(), "|(&(~(A),~(B)),&(~(A),&(C,&(~(D),~(E)))))");
        }