\lnot(A\lan B)\Leftrightarrow(\lnot A\lor\lnot B)