truth-table 0.1

data/.gitignore

@@ -0,0 +1,4 @@
+*.gem
+.bundle
+Gemfile.lock
+pkg/*

data/Gemfile

@@ -0,0 +1,4 @@
+source "http://rubygems.org"
+
+# Specify your gem's dependencies in truth-table.gemspec
+gemspec

data/README.md

@@ -0,0 +1,62 @@
+# Truth Table
+
+## Description
+
+The gem of truth
+
+## Summary
+
+Generate a truth table for a logical expression
+
+## Usage
+
+To use, pass a logical expression consiting of varibale names and logical operators.
+
+    > tt = TruthTable.new("(a && b) || c")
+    > puts tt.table_string
+     a | b | c | (a && b) || c 
+	---┼---┼---┼---------------
+ 	 T | T | T |      T 
+ 	 T | T | F |      T 
+ 	 T | F | T |      T 
+ 	 T | F | F |      F 
+	 F | T | T |      T 
+	 F | T | F |      F 
+	 F | F | T |      T 
+	 F | F | F |      F 
+
+Variable names must begin with a lower case letter and be alphanumeric with underscores.
+
+Accepted operators:
+
+* and
+* or
+* &&
+* ||
+* !
+* not
+* ^
+* xor (gets converted to ^)
+
+## License
+
+Copyright (c) 2012 Les Fletcher
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/Rakefile

@@ -0,0 +1 @@
+require "bundler/gem_tasks"

data/lib/truth-table.rb

@@ -0,0 +1,103 @@
+# encoding: utf-8
+
+class TruthTable
+
+  VERSION = "0.1"
+
+  class InvalidVariableName < Exception; end
+
+  class Evaluator
+
+    def create_method( name, &block )
+        self.class.send( :define_method, name, &block )
+    end
+
+    def create_attr( name )
+        create_method( name.to_sym ) { 
+            instance_variable_get( "@" + name.to_s ) 
+        }
+    end
+
+    def initialize(expression, variables)
+      @expression = expression
+      variables.each_pair do |k,v|
+        instance_variable_set( "@" + k.to_s, v)
+        create_attr(k)
+      end
+    end
+
+    def evaluate
+      eval(@expression)
+    end
+  
+  end
+
+  attr_reader :expression
+  attr_reader :variables
+
+  def initialize(expression)
+    @expression = expression
+    @working_exp = expression.dup
+    @working_exp.gsub!(' xor ', ' ^ ')
+    @variables = ['(', ')', 'and', 'or', '&&' , '||', '!', 'not', '^'].inject(@working_exp) do |exp, op|
+      exp.gsub(op, ' ')
+    end.gsub(/\s+/, ' ').split(' ').uniq.reject { |v| ["true", "false"].include?(v) }
+    @num_vars = @variables.length
+    @variables.each do |v|
+      raise InvalidVariableName unless v =~ /^[a-z_][a-zA-Z_0-9]*$/
+    end
+  end
+
+  def self.generate_true_false_arrays(num)
+    true_falses = []
+    val = 2 ** num
+    (0...val).each do |i|
+      k = val - 1 - i
+      a = Array.new(num)
+      for j in (0...num)
+        a[j] = k[num - 1 - j] == 1
+      end
+      true_falses << a
+    end
+    true_falses
+  end
+
+  def num_combinations
+    2 ** @num_vars
+  end
+
+  def evaluate(array)
+    Evaluator.new(@working_exp, Hash[@variables.zip(array)]).evaluate
+  end
+
+  def table_string
+    lines = []
+
+    temp = @variables.dup
+    temp << @expression
+    lines << " #{temp.join(" | ")} "
+
+    lines << @variables.inject([]) do |a, v|
+      a.concat(["-" * (v.length + 2)])
+    end.concat(["-" * (@expression.length + 2)]).join("┼")
+
+    self.class.generate_true_false_arrays(@num_vars).each do |array|
+      vals = []
+      (0...array.length).each do |i|
+        len = @variables[i].length
+        str = ' ' * len
+        str[(len/2)] = (array[i] ? "T" : "F")
+        vals << str
+      end
+      vals << "#{' ' * ((@expression.length / 2) - 1)}#{(evaluate(array) ? 'T' : 'F')}"
+      lines << " #{vals.join(" | ")} "
+    end
+
+    lines.join("\n")
+  end
+
+  def inspect
+    "Number Variables: #{@num_vars}, Number Combinations: #{2 ** @num_vars}, Variables: #{@variables.inspect}, Expression: '#{@expression}'"
+  end
+
+end

data/test/test_helper.rb

@@ -0,0 +1,2 @@
+require 'test/unit'
+require File.expand_path( File.join( File.dirname( __FILE__ ), '..', 'lib', 'truth-table' ) )

data/test/truth_table_test.rb

@@ -0,0 +1,44 @@
+require File.expand_path( File.join( File.dirname( __FILE__ ), 'test_helper' ) )
+
+class TestTruthTable < Test::Unit::TestCase
+
+  def test_expression_parse
+    tt = TruthTable.new("(a && b) || c")
+    assert_equal "(a && b) || c", tt.expression
+    assert_equal ["a", "b", "c"], tt.variables
+    assert_equal 8, tt.num_combinations
+  end
+
+  def test_invalide_variable
+    assert_raise(TruthTable::InvalidVariableName) do
+      TruthTable.new("(a && b) || 3c")
+    end
+  end
+
+  def test_truth_arrays
+    arrays_1 = [[true],
+                [false]]
+    assert_equal arrays_1, TruthTable.generate_true_false_arrays(1)
+    arrays_2 = [[true, true],
+                [true, false],
+                [false, true],
+                [false, false]]
+    assert_equal arrays_2, TruthTable.generate_true_false_arrays(2)
+    arrays_3 = [[true, true, true],
+                [true, true, false],
+                [true, false, true],
+                [true, false, false],
+                [false, true, true],
+                [false, true, false],
+                [false, false, true],
+                [false, false, false]]
+    assert_equal arrays_3, TruthTable.generate_true_false_arrays(3)  
+  end
+
+  def test_evaluate
+    tt = TruthTable.new("(a && b) || c")
+    assert_equal false, tt.evaluate([true, false, false])
+    assert_equal true, tt.evaluate([false, false, true])
+  end
+
+end

data/truth-table.gemspec

@@ -0,0 +1,22 @@
+# -*- encoding: utf-8 -*-
+$:.push File.expand_path("../lib", __FILE__)
+require "truth-table"
+
+Gem::Specification.new do |s|
+  s.name        = "truth-table"
+  s.version     = TruthTable::VERSION
+  s.authors     = ["Les Fletcher"]
+  s.email       = ["les.fletcher@gmail.com"]
+  s.homepage    = ""
+  s.summary     = %q{The gem of truth}
+  s.description = %q{Generate a truth table for a logical expression}
+
+  s.rubyforge_project = "truth-table"
+
+  s.files         = `git ls-files`.split("\n")
+  s.test_files    = `git ls-files -- {test,spec,features}/*`.split("\n")
+  s.executables   = `git ls-files -- bin/*`.split("\n").map{ |f| File.basename(f) }
+  s.require_paths = ["lib"]
+
+  s.add_development_dependency('test-unit', '~> 2.2.0')
+end

metadata

@@ -0,0 +1,66 @@
+--- !ruby/object:Gem::Specification
+name: truth-table
+version: !ruby/object:Gem::Version
+  version: '0.1'
+  prerelease: 
+platform: ruby
+authors:
+- Les Fletcher
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2012-02-18 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: test-unit
+  requirement: &2155894120 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 2.2.0
+  type: :development
+  prerelease: false
+  version_requirements: *2155894120
+description: Generate a truth table for a logical expression
+email:
+- les.fletcher@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- .gitignore
+- Gemfile
+- README.md
+- Rakefile
+- lib/truth-table.rb
+- test/test_helper.rb
+- test/truth_table_test.rb
+- truth-table.gemspec
+homepage: ''
+licenses: []
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: truth-table
+rubygems_version: 1.8.15
+signing_key: 
+specification_version: 3
+summary: The gem of truth
+test_files:
+- test/test_helper.rb
+- test/truth_table_test.rb