Jaka jest zależność logiczna sygnału Y od sygnałów A i B w przedstawionym układzie pneumatycznym?

Aby zrozumieć działanie tego układu, trzeba przeanalizować budowę zaworów 3/2. Każdy zawór ma trzy przyłącza: pin 2 to wyjście, pin 1 to wejście zasilania (od dołu), a pin 3 to wejście boczne (połączenie między zaworami). W stanie spoczynkowym zawór łączy piny 3→2, natomiast po aktywacji przełącza się na połączenie 1→2. Kluczowe w tym układzie jest to, że oba zawory mają niezależne zasilanie od dołu. Zawór A może więc przepuścić powietrze do siłownika Y nawet wtedy, gdy B jest wyłączony — wystarczy że A jest aktywny i łączy swoje zasilanie (pin 1) z wyjściem (pin 2). Podobnie gdy B jest aktywny, a A wyłączony — powietrze z B trafia na pin 3 zaworu A, który w stanie spoczynkowym łączy właśnie 3→2, przepuszczając sygnał do Y. Przeanalizujmy wszystkie kombinacje: gdy oba wyłączone, brak zasilania i Y nie działa; gdy A włączony, zasilanie idzie przez A niezależnie od B; gdy B włączony, zasilanie przepływa przez B i dalej przez nieaktywny A; gdy oba włączone, zasilanie również dociera do Y. Daje to tabelę prawdy funkcji OR, gdzie Y=1 gdy przynajmniej jeden z sygnałów jest aktywny.