pub fn not(expr: Box<Expression>) -> Box<Expression>
Construct a new boxed Expression NOT P
Expression