Цитата
Это по операционному исчислению пример?

да!