Scalar Simulation

To prove that circuit is a NAND gate, exhaustive simulation requires 2n vectors