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.
Niestety, ta odpowiedź nie jest poprawna. Aby prawidłowo określić zależność logiczną, trzeba dokładnie przeanalizować budowę i działanie zaworów 3/2 w tym układzie. Każdy zawór 3/2 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 umożliwiające połączenie między zaworami. W stanie spoczynkowym (wyłączonym) zawór łączy piny 3→2, natomiast po aktywacji przełącza się na połączenie 1→2. To kluczowa informacja do zrozumienia układu. Przeanalizujmy wszystkie kombinacje stanów A i B. Gdy oba zawory są wyłączone, żaden nie przepuszcza zasilania i Y nie działa. Gdy A jest włączony, a B wyłączony, zawór A łączy swoje własne zasilanie (pin 1) z wyjściem (pin 2), więc Y działa niezależnie od stanu B. Gdy B jest włączony, 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. Gdy oba są włączone, zasilanie również dociera do Y. Daje to tabelę prawdy: A=0, B=0 → Y=0; A=1, B=0 → Y=1; A=0, B=1 → Y=1; A=1, B=1 → Y=1. Jest to funkcja logiczna OR, gdzie Y działa gdy przynajmniej jeden z sygnałów wejściowych jest aktywny. Częstym błędem jest założenie, że zawory połączone w taki sposób tworzą funkcję AND (szeregowe połączenie). Jednak kluczowe jest zauważenie, że oba zawory mają niezależne zasilanie od dołu, co pozwala każdemu z nich samodzielnie aktywować siłownik Y. Gdyby tylko jeden zawór miał zasilanie, a drugi był połączony wyłącznie szeregowo, wtedy rzeczywiście mielibyśmy funkcję AND.