It's DeMorgan's Theorem that keeps the counter from turning that output off. If A NAND B then A' OR B', if A AND B then A' NOR B', if A NOR B then A' AND B', and if A OR B then A' NAND B'. Each part proves the other's gate inverse which is its own input inverse.
