Python thing. Makes truth tables from logic statements.