Didn't expect to see boolean logic lead a Supreme Court opinion today.

Does the phrase "does not have A, B, and C" mean:

(not A) and (not B) and (not C)

which by De Morgan's laws is equivalent to:

not (A or B or C)

***or***, does it mean

not (A and B and C)

equiv. to: (not A) or (not B) or (not C)

The U.S. Supreme Court ruled earlier today 6-3 in favor of the first interpretation (at least in this specific context), in a split that didn't fall along traditional ideological lines. https://www.supremecourt.gov/opinions/23pdf/22-340_3e04.pdf