Обобщенный вход
Cтраница 1
 |
Исчисление равносильных преобразований ( окончание, г Правила нижней разметки. 0 Правила замены. [1] |
Обобщенные входы указываются жирными стрелками, входы ( любые) метятся римскими цифрами, выходы - арабскими цифрами. Условия и метящие булевы функции записываются в виде логических формул. [2]
Входы фрагмента могут быть указаны также в виде обобщенного входа, который указывает, к какой вершине может вести произвольная совокупность стрелок, выходящих либо от остальных вершин схемы, либо ( если это не запрещается специальной оговоркой) от выходов этого же фрагмента. Обобщенные входы указываются жирными стрелками. Выходы фрагмента - это различные стрелки, которые показывают, какие вершины фрагмента соединены с остальными вершинами схемы. Входы метятся римскими цифрами, выходы - арабскими. [3]
Входы фрагмента могут быть указаны также в виде обобщенного входа, который указывает, к какой вершине может вести произвольная совокупность стрелок, выходящих либо от остальных вершин схемы, либо ( если это не запрещается специальной оговоркой) от выходов этого же фрагмента. Обобщенные входы указываются жирными стрелками. Выходы фрагмента - это различные стрелки, которые показывают, какие вершины фрагмента соединены с остальными вершинами схемы. Входы метятся римскими цифрами, выходы - арабскими. [4]
Страницы: 1