Class | TruthTable |
In: |
truthtable.rb
|
Parent: | Object |
Tanaka Akira <akr@fsij.org>
require 'truthtable'
p TruthTable.new {|v| !v[0] }.formula #=> "!v[0]" p TruthTable.new {|v| v[0] & v[1] }.formula #=> "v[0]&v[1]" p TruthTable.new {|v| v[0] | v[1] }.formula #=> "v[0] | v[1]" p TruthTable.new {|v| v[0] ^ v[1] }.formula #=> "!v[0]&v[1] | v[0]&!v[1]" p TruthTable.new {|v| v[0] == v[1] }.formula #=> "!v[0]&!v[1] | v[0]&v[1]"
p TruthTable.new {|v| v[0] && v[1] }.formula #=> "v[0]&v[1]" p TruthTable.new {|v| v[0] || v[1] }.formula #=> "v[0] | v[1]"
p TruthTable.new {|v| v[0] ? !v[1] : v[1] }.formula #=> "!v[0]&v[1] | v[0]&!v[1]"
p TruthTable.new {|v| [v[0], v[1], v[2], v[3]].grep(true).length <= 3 }.formula #=> "!v[0] | !v[1] | !v[2] | !v[3]"