code: def Not(x, simplify=True):
      
      x = Expression.box(x).node
      y = exprnode.not_(x)
      if simplify:
          y = y.simplify()
      return _expr(y)
docs: Expression negation operator
  
      If *simplify* is ``True``, return a simplified expression.