The top documents tagged [logic of boolean equations]