added sys args, fixed not bracketing, added nxor symbol, introduced max num variables for truth tables
massive gui rewrite, diagram builder in progress