Verification/Reading Simulations
The intended output is high for every input combination except a=b=1. Implement that NAND behavior.
a=b=1
