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