\lnot(\lnot A\land\lnot B)\supset(A\lor B).