Je crois qu'il y a une coquille de traduction :


alors que les conditions disent :


non ( A ou B ) <=> non (A ) ET non ( B )
;)