Prettier output for conjunctions and disjunctions of literals