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