У меня есть схема операций C, которая состоит из двух последовательных схем операций A и B. Перед выполнением B. необходимо выполнить A. Я застрял в том, как представить последовательность активации схемы.
Можно ли использоватьсоединение схемы, т. е. C == A ∧ B?или есть способ «вызвать» схему B из A?
Я новичок в Z-нотации, любая помощь будет принята с благодарностью!