added values property to truth tables, fixed same method, truth table accepts strings, fixed parser bugs, more tests