Module: DeMorgans

Extended by:
DeMorgans
Included in:
DeMorgans
Defined in:
lib/boolean_simplifier/rule/de_morgans.rb

Instance Method Summary collapse

Instance Method Details

#simplify(expr) ⇒ Object 



2
3
4
5
6
7
8
9
10
 
# File 'lib/boolean_simplifier/rule/de_morgans.rb', line 2

def simplify(expr)
  if expr.class == Conjunction
    apply_de_morgans(expr, Disjunction)
  elsif expr.class == Disjunction
    apply_de_morgans(expr, Conjunction)
  else
    expr
  end
end