fixed some bugz, added tests for arguments and truth tables