VIH ในที่นี้ควรจะหมายถึง VIH ของไอซีตัวรับ ไม่ใช่ตัวส่ง ดังนั้นมันจึงเป็น Requirement ไม่ใช่ Fact ที่เกิดขึ้นครับ

ที่เราใช้ Open Collector ก็เพื่อให้แรงดันเอาต์พุตตรงตำแหน่ง Y มีแรงดัน มากกว่า VIH ของ State ถัดไปไงครับ