CIRCUIT JacubecCircuit
INPUT   A    1
OUTPUT  C    2
NAND    2ns  1   2   2