ИСТИНА

В рамках логики Брусенцова возможно решение следующих задач: 1. задача получения логического вывода из системы посылок; 2. задача поиска суждений, недостающих для выполнения запрашиваемого отношения; 3. задача формирования гипотез: построение новых суждений, следующих из исходной системы посылок. В настоящем докладе рассматриваются вопросы, связанные с первой задачей – выявлением отношения между двумя булевыми выражениями в условиях, заданных системой посылок. Получаемый результат трёхзначен: отношение может необходимо следовать из исходной системы посылок, противоречить заданным условиям, либо быть возможным, но не необходимым. В докладе представлены оценка количества выражений логики Брусенцова от n переменных, алгоритм добавления нового суждения существования к имеющемуся выражению логики Брусенцова и алгоритм выявления взаимосвязи между двумя выражениями. В основе обоих алгоритмов процедура проверки факта, что одно из булевых выражений от n переменных является импликантой другого выражения.