public override Proposition Nandify()
{
Negation negationOfLeftSuccessor = new Negation();
negationOfLeftSuccessor.LeftSuccessor = LeftSuccessor;
Negation negationOfRighSuccessor = new Negation();
negationOfRighSuccessor.LeftSuccessor = RightSuccessor;
Conjunction leftDisjunctionConjunct = new Conjunction();
leftDisjunctionConjunct.LeftSuccessor = negationOfLeftSuccessor;
leftDisjunctionConjunct.RightSuccessor = negationOfRighSuccessor;
Conjunction rightDisjunctionConjunct = new Conjunction();
rightDisjunctionConjunct.LeftSuccessor = LeftSuccessor;
rightDisjunctionConjunct.RightSuccessor = RightSuccessor;
Disjunction disjunction = new Disjunction();
disjunction.LeftSuccessor = leftDisjunctionConjunct;
disjunction.RightSuccessor = rightDisjunctionConjunct;
return(disjunction.Nandify());
}
public override Proposition Nandify()
{
Negation negation = new Negation();
negation.LeftSuccessor = LeftSuccessor;
Disjunction disjunction = new Disjunction();
disjunction.LeftSuccessor = negation;
disjunction.RightSuccessor = RightSuccessor;
return(disjunction.Nandify());
}
