Today, the apparatus of the algebra of finite predicates is so developed that it can be used to describe and simulate all kinds of processes of human intellectual activity, from describing the solution of the simplest equations to describing linguistic processes. This article discusses the construction of a logical network for solving the problem of determining the rank of a serviceman, which depends on the rank, type of rank, type of service and other parameters. The language of the algebra of finite predicates was used to describe the process of distributing ranks. Using the method of formulaic notation of relations, paradigmatic tables were built and all the ranks of military personnel were described, bipartite graphs were formed and a logical relational network corresponding to them was built. Each logical network can be implemented in software or converted into an electronic circuit for the automatic solution of one or another class of problems described by the model for which this circuit is built. The software implementation has proven the effectiveness of the constructed network.

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

На сьогодні апарат алгебри кінцевих предикатів розвинений настільки, що за його допомогою можна описувати та моделювати будь-які процеси людської інтелектуальної діяльності, починаючи від опису вирішення найпростіших рівнянь та закінчуючи описом мовних процесів. У статті розглядається побудова логічної мережі для вирішення задачі визначення звання військовослужбовця, яке залежить від рангу, типу звання, типу служби та інших параметрів. Для опису процесу розподілу звань використано мову алгебри кінцевих предикатів. Використовуючи метод формульного запису відносин побудовано парадигматичні таблиці та описано всі звання військовослужбовців, сформовані дводольні графи та побудовано відповідну їм логічну реляційну мережу. Кожну логічну мережу можна реалізувати програмно або перетворити на електронну схему для автоматичного вирішення того чи іншого класу завдань, описаних моделлю, для якої побудована дана схема. Програмна реалізація довела ефективність збудованої мережі.