Figure 7.27 Inferring Two Three-State Drivers