# File truthtable.rb, line 212
  def cnf
    r = []
    @table.each {|inputs, output|
      next if output
      term = []
      each_input(inputs) {|name, input|
        if input
          term << "!#{name}"
        else
          term << name
        end
      }
      if term.length == 1
        r << term.join('|')
      else
        r << "(#{term.join('|')})"
      end
    }
    r.join(' & ')
  end