pseudo-boolean algebra Synonyms