A Carnivore Did It!
I knew this was for me the moment I saw it. It’s boolean logic puzzles presented as an anthropomorphic animal police line-up (or “circle-up”, for gameplay reasons), in which each suspect has given a statement, but all the lie-detector test results have gotten jumbled up so that all you know is how many lies were told, but not who told them. In addition you know how many culprits you’re looking for, and the solution to each puzzle is the specific culprits.
Each puzzle has exactly one possible solution (if you think there are more possibilities then you’ve missed something), and there are 2000 puzzles provided in the box (starting very easy, and getting much harder). You can play them randomly as one-off puzzles, or work through a series of easy-to-hard cases against the clock for points as a mini “campaign”).
That last case is from dossier 19 of 20 (which are broadly ordered by difficulty), so it’s a challenging one!
It’s normal boolean algebra (for those of us who use that in their day jobs), so for instance “A and B did X” is a lie if at least one of them did not do X; and “A or B did X” is a lie only if neither of them did X.