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