Пример #1
0
        public void TestSimplifiedDNF()
        {
            Normalizator normalizor      = new Normalizator(truth_table, simplified_table);
            string       expected_result = "|(B,~(a))";
            string       resut           = normalizor.getDNFFromSimplifiedTruthTable();

            Assert.AreEqual(expected_result, resut);
        }