Deux conditions qui n'en font qu'une

1.

Les colonnes A et B sont identiques.

2.

for p in [False, True]:
    for q in [False, True]:
        A = not (p and q)
        B = (not p) or (not q)
        print(p, q, A, B, A == B)

La dernière colonne affiche True quatre fois.

3. Règle (loi de De Morgan) : nier un « et » donne le « ou » des négations. $$\text{non}(p\text{ et }q)\equiv (\text{non }p)\text{ ou }(\text{non }q).$$

L'énoncé analogue échange les deux connecteurs : $$\text{non}(p\text{ ou }q)\equiv (\text{non }p)\text{ et }(\text{non }q).$$

En pratique : « ce n'est pas un nombre pair et positif » ne veut pas dire « il est impair et négatif », mais « il est impair ou négatif ». C'est une source d'erreurs très fréquente.