class Array

Public Instance Methods

>>(con) click to toggle source
# File lib/magic_logic.rb, line 57
def >>(con)
  l = inject($tout) { |s, p| s * p } >= con
  case l.dpll
  when Taut  then 'TRUE'
  when UTaut then 'FALSE'
  else            'UNDECIDABLE'
  end
end