Module: AtomicFormula

Included in:

DpllSolver::Formulas::Falsum, DpllSolver::Formulas::Variable, DpllSolver::Formulas::Verum

Defined in:

lib/dpll_solver/atomic_formula.rb

Instance Method Summary

• #==(other) ⇒ Object

  syntactic equivalenz.

• #atomic_formula? ⇒ Boolean (also: #literal?, #min_term?, #clause?, #nnf?, #cnf?, #dnf?)
• #not? ⇒ Boolean (also: #and?, #or?, #variable?)
• #simplify ⇒ Object (also: #nnf, #cnf, #dnf)

Instance Method Details

#==(other) ⇒ Object

syntactic equivalenz

# File 'lib/dpll_solver/atomic_formula.rb', line 3

def ==(other)
  other.class == self.class
end

#atomic_formula? ⇒ Boolean Also known as: literal?, min_term?, clause?, nnf?, cnf?, dnf?

Returns:

• (Boolean)

# File 'lib/dpll_solver/atomic_formula.rb', line 7

def atomic_formula?
  true
end

#not? ⇒ Boolean Also known as: and?, or?, variable?

Returns:

• (Boolean)

# File 'lib/dpll_solver/atomic_formula.rb', line 26

def not?
  false
end

#simplify ⇒ Object Also known as: nnf, cnf, dnf

# File 'lib/dpll_solver/atomic_formula.rb', line 18

def simplify
  self
end