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); }
public void TestDNF() { Normalizator normalizor = new Normalizator(truth_table, simplified_table); string expected_result = "|(|(&(a,B),&(~(a),B)),&(~(a),~(B)))"; string resut = normalizor.getDNFFromTruthTable(); Assert.AreEqual(expected_result, resut); }