\lnot(\lnot A\land\lnot\lnot A).