Логические аксиомы постулируют связь базисных логических функций ( нуль, отрицание и дизъюнкция) с правилами выбора ... - Большая Энциклопедия Нефти и Газа
Логические аксиомы постулируют связь базисных логических функций ( нуль, отрицание и дизъюнкция) с правилами выбора стрелок при выполнении распознавателей. Аксиома 4 утверждает, что оператор без входа может быть устранен, аксиома 5 постулирует эквивалентность пустых периодов, аксима 6 постулирует сохранение значений логических переменных при движении по распознавателям схемы. Аксиомы распределения наборов формализуют понятие допустимости набора для распознавателя или преобразователя схемы. Аксиомы группы III задают правила пометки стрелок операторной схемы некоторыми логическими функциями, представляющими те наборы, которые могут проходить вдоль стрелок при построении конфигураций схемы. Аксиома 7 носит служебный характер, задавая начальное значение метящих функций в виде пустого множества наборов.
