// Thus ~(SYMBOL) will get shape of SYMBOL % SYMBOL
public void Nandify_CallToNandifyWithPropositionAsSuccessor_ShouldReturnNandRootWithTerminalNodesEqualToPropositionSymbol()
{
// Arrange
// Act
Proposition nandifiedNegation = negation.Nandify();
// Assert
NandChecker.hasNandStructure(new List <Proposition>()
{
nandifiedNegation
});
}
public void Nandify_CallToNandifyWithConnectiveAsSuccessor_ShouldReturnNandRootWithNandSuccessors()
{
// Arrange
Negation anotherNegation = new Negation();
anotherNegation.LeftSuccessor = negation;
// Act
Proposition nandifiedNegationWithNestedNegation = anotherNegation.Nandify();
// Assert
NandChecker.hasNandStructure(new List <Proposition>()
{
nandifiedNegationWithNestedNegation
});
}