Name That Theorem

I exercised this theorem recently for a conditional statement in python. I wanted the opposite of:
if A and B:
so I came up with:
if not (A and B):
That worked fine, but I thought it would be easier to read as:
if not A or not B:

Can you name the theorem that allowed me to distribute the “not”?