Pisać będziemy odpowiednio A, -, A1, B(A, -, A1, B). Mówić będziemy, że zarówno wejścia, jak i wyjście układu mogą przybierać jeden z dwóch stanów wyróżnionych: 0 i 1.<br> Pod względem formalnym A, A, -, A1, B traktujemy jako klasy, których elementami są pewne konkretne obiekty (składające się na zakres zmienności zmiennych x, x, - ). Przyjmujemy tym samym tzw. "interpretację równoległą" systemu formalnego, który tu naszkicujemy. Dla przykładu: niech Z będzie zbiorem ludzi, których badamy poszukując przyczyny zachorowania na pewną chorobę (B) . Bierzemy pod uwagę jako jedyne możliwe przyczyny tego zdarzenia: ukąszenie przez kleszcza (A) oraz ukąszenie przez komara (A) . Wyrażenie "x A A