public BooleanExp replace(String name, BooleanExp exp) {
if (this.name.equals(name)) return exp.copy();
else return copy();
}
public BooleanExp copy() {
return new AndExp(operand1.copy(), operand2.copy());
}
public BooleanExp copy() {
return new NotExp(exp.copy());
}