Before revision: Likewise the output could be tied to a logical 0 to model the behavior of a defective circuit that cannot switch its output pin.
After revision: Likewise the output could be tied to a logical 0 to model the behavior of a defective circuit that cannot switch its output