ПРОДУКЦИОННО-ЛОГИЧЕСКИЕ УРАВНЕНИЯ НА БУЛЕВЫХ РЕШЁТКАХ
Вводится понятие продукционно-логического уравнения на булевой решётке. Оно опирается на общую теорию продукционно-логических отношений на решётках. Для случая конечной решётки рассматриваются некоторые свойства таких уравнений и доказывается единственность решения. Решение произвольного продукционно-логического уравнения на конечной булевой решётке сводится к решению множества уравнений с элементарными правыми частями. С целью упрощения изучения логических связей вводится понятие канонического отношения на дистрибутивной решётке. Доказывается существование логически эквивалентного канонического отношения для произвольного отношения в случае конечной дистрибутивной решётки.