Leggi di De Morgan

not (p and q) = not p or not q

not (p or q) = not p and not q