Module: Annihilator

Extended by:: Annihilator

Included in:: Annihilator

Defined in:: lib/boolean_simplifier/rule/annihilator.rb

Instance Method Summary collapse

#simplify(expr) ⇒ Object

Instance Method Details

#simplify(expr) ⇒ `Object`

# File 'lib/boolean_simplifier/rule/annihilator.rb', line 2

def simplify(expr)
  if expr.class == Conjunction
    return_x_if_contains_x(expr, false)
  elsif expr.class == Disjunction
    return_x_if_contains_x(expr, true)
  else
    expr
  end
end