Propositional Logic - AI Class - Truth Table

logic.rb

def implies(a,b)
  !(a & !b)
end

def str(a)
  a.to_s[0].upcase
end


def printTable
  all = [false,true]
  all.product(all).each{|a,b|
    puts "#{str(a)} #{str(b)} #{str(yield(a,b))}"
  }
  puts
end

printTable {|a,b| implies(a,b)}
printTable {|a,b| (a | !b)}
printTable {|a,b| implies(!a,!b)}
printTable {|a,b| implies(!b,!a)}