ПР200 на четырёхзначной логике

[Geenerator]

Мне кажется, что подменяются термины.

В данном описании говорится не о 4-ричной логике, где каждый элемент (переменная) может принять 4 состояния, а о введении ещё одной сущности к описанию объекта управления - слова состояния.
Т.е. не появляется новой 4-ричной алгебры, в которой при помощи двух операций (как в теории полей чисел или как она называется) определяется взаимодействие этих состояний.
Предлагается вычисление наиболее востребованных в алгоритме состояний объекта управления.

То, что предвычисленных состояний оказалось ровно 4 - это или случай или закономерность или подгон.

Но не это хочу донести - предлагается предвычисление наиболее употребимых состояний и сохранение их в переменной состояния (флагов). Это не про 4-ричную систему, а про библиотеку управления движением с наборами предвычисленных состояний для разных классов объектов (насос, задвижка, отсечной клапан, сервопривод).

Возможно, как готовая библиотека это будет интересно, но OwenLogic пока не обладает возможностями работы со структурами, перечислимыми типами, именованными константами - на данном этапе развития нормальная библиотека нереализуема.

Давайте вернёмся к началу, есть двоичная логика и её можно сравнить с аналогом из физики, например координата. Изменение координаты во времени есть скорость или первая производная по времени dX/dt. Для понятия "скорость" разве вводятся новые алгебраические правила ? , это просто физическая величина более "тонкого" порядка. Если дойдёт дело до теории, то я смогу это показать.

Двоичная логика отвечает за "события" в системе (произошло событие / не произошло событие), четырёхзначная логика отвечает за движение к этим событиям. И должен сказать, что не во всех задачах нужны переменные, показывающие такие движения.