class PropLogic::Constant

Public Instance Methods

to_cnf() click to toggle source
# File lib/prop_logic/constants.rb, line 9
def to_cnf
  self
end
variables() click to toggle source
# File lib/prop_logic/constants.rb, line 5
def variables
  []
end