Цитата Сообщение от FPavel Посмотреть сообщение
Да, дифференциальное счисление - это раздел математики, который взаимодействует с разделом геометрической алгебры.

Есть булева алгебра, а Вы предлагаете библиотеку управления объектами, для которой разработали регистры флагов наиболее востребованных состояний. Дальше ФБ не вычисляют эти состояния, а берут их напрямую из регистра флагов. Такое впечатление возникло из-за того, что в Вашем примере команда формировалась не при помощи собственных операций над состояниями, а при помощи булевой алгебры над отдельными флагами регистров состояний.

Т.е. вместо описания библиотеки и её идеологии, по ошибке утверждаете, что это 4-значная логика.

Да, для работы насосной группы такая библиотека не востребована.
Для контроля перемещения объекта (ворот, резака) - возможно, именно она и требуется.

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

А так. Вы вбросили непонятную идею и настаиваете, чтобы её другие начали реализовывать. Покажите примеры, разработайте библиотеку ФБ, участвуйте в обсуждении задач на форуме, демонстрируйте простоту их решения при помощи абстрактных моделей 4-значной логики, спрятанной за простотой использования библиотек.

Как у Соломона - если не сейчас - то когда? если не здесь - то где? если не я - то кто?

Если дошло дело до Соломона, то пришло время философии. Давайте найдём аналогии из смежных областей
Всем известен электрический закон расчёта мощности P=UI
U - напряжение - это разность потенциалов. Разность потенциалов либо есть, либо её нет.
I - ток - ключевое свойство, может течь по проводнику либо в прямом направлении, в обратном направлении, либо не течь.
P - мощность - это характеристика электрической цепи качественно другого уровня включающее в себя понятие ток и напряжение

Переходим к логике и ищем аналогии
Двоичная логика: двоичная система счисления, 2 логических уровня 1-истина, 0-ложь - очень похоже на напряжение
Троичная логика: троичная сбалансированная система счисления, 3 логических уровня +1, 0, -1 - очень похоже на ток
Четырёхзначная логика: четыре логических уровня 00, 01, 10, 11. При этом, можно увидеть и двоичную логику в состояниях 00, 11 и троичную в состояниях 01, 00, 10

Из вышеприведённых философских рассуждений можно сделать вывод, что состояния четырёхзначной логики не случайны, а закономерны.
Я не настаиваю на использовании данной логики, просто если вам понравиться, то вы можете использовать её в своих проектах.