Truth table GUI fixes, minimize function partly

TODO: fix error in abstract table / implicants table (out of vector
range)