\lnot(A\land\lnot B).