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);
}
