# 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