module Axiom::Function::Connective::Negation::Methods

Public Instance Methods

not(other = Undefined) click to toggle source

Negate the expression or logically AND and negate another expression

@example with no argument

negation = expression.not

@example with other argument

conjunction = expression.not(other)

@return [Connective]

@overload not

Negates the expression

@return [Negation]

@overload not(other)

Logically AND the other negated expression

@param [Function] other
  optional other function to and

@return [Conjunction]

@api public

# File lib/axiom/function/connective/negation.rb, line 86
def not(other = Undefined)
  if other.equal?(Undefined)
    Negation.new(self)
  else
    self.and(Negation.new(other))
  end
end