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