Булева алгебра
= x y 
y 
y = x y
y = y ( x ) = y ( x
)( x ) =
= y ( x ) = y z
y.
В следующем примере, после раскрытия первых скобок к выражениям в скобках применяется обобщенное склеивание.
Пример. ( y z )( x
) =