public override Proposition GetNANDs() { Proposition output = new NAND(); output.LeftNode = LeftNode.GetNANDs(); output.RightNode = new NAND(); output.RightNode.LeftNode = RightNode.GetNANDs(); output.RightNode.RightNode = RightNode.GetNANDs(); return(output); }