public void TruthTable_CalculateTruthTable_HashCodeBeEqualAsExpected(string prefixInput, string hexaHashCode) { //Arrange var binaryTree = ParsingModule.Parse(prefixInput); //Act var truthTable = new TruthTable(binaryTree); //Assert Assert.Equal(truthTable.GetHexadecimalHashCode(), hexaHashCode); }
public void TruthTable_Nandify_NandTruthTableHashCodeBeAsExpected(string prefixInput) { //Arrange var nandify = new Nandify(); var binaryTree = ParsingModule.Parse(prefixInput); //Act var truthTable = new TruthTable(binaryTree); nandify.Calculate(binaryTree.Root); var truthTableNand = new TruthTable(Nandify.BinaryTree); //Assert Assert.Equal(truthTable.GetHexadecimalHashCode(), truthTableNand.GetHexadecimalHashCode()); }
public void TruthTable_DNFProcessing_DNFFormulaAndHashCodeBeAsExpected(string prefixInput) { //Arrange var binaryTree = ParsingModule.Parse(prefixInput); //Act var truthTable = new TruthTable(binaryTree); truthTable.ProcessDnf(); if (truthTable.DnfNormalComponents.Count == 0) { return; } var truthTableDnf = new TruthTable(truthTable.DnfNormalBinaryTree); //Assert Assert.Equal(truthTableDnf.GetHexadecimalHashCode(), truthTable.GetHexadecimalHashCode()); Assert.Equal(truthTableDnf.GetHexadecimalSimplifiedHashCode(), truthTable.GetHexadecimalSimplifiedHashCode()); }