non (a + b + c) = non a . non b . non c

non (a.b.c) = non a + non b + non c