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