public void Nandify_CallToNandifyOnConstant_ShouldReturnThePropositionItself()
{
// Arrange
// Act
Proposition nandifiedConstant = constant.Nandify();
// Assert
nandifiedConstant.Should().BeEquivalentTo(constant, "because false nandified is still false");
}
public void Nandify_CallToNandifyOnValidRandomVariable_ExpectedNandifiedPropositionReturned()
{
// Arrange
Proposition validProposition = PropositionGenerator.GetRandomPropositionSymbol();
// Act
Proposition nandifiedProposition = validProposition.Nandify();
// Assert
NandChecker.hasNandStructure(new List <Proposition>()
{
nandifiedProposition
});
}
public virtual void TestNandify()
{
// Arrange
Proposition validProposition = PropositionGenerator.CreateBinaryConnectiveWithRandomSymbols(symbol);
// Act
Proposition nandifiedProposition = validProposition.Nandify();
// Assert
NandChecker.hasNandStructure(new List <Proposition>()
{
nandifiedProposition
});
}
