The NAND-gate: a benchmark test for the numerical solution of digital circuits