adding plottable() method
re-parenthesisize expected test result
implicative normal form works