NOT( A OR B ) <==> NOT(A) AND NOT(B)
NOT( A AND B ) <==> NOT(A) OR NOT(B)