Тотожні перетворення формул в Sn-алгебрі

Abstract

Розглянуто проблему тотожних перетворень в Sts-алгебрі. Задачу про тотожні перетворення формулюють так. На множині операцій алгебри необхідно визначити повну систему тотожностей, тобто знайти певну елементарну підмножину пар рівних формул, які реалізують одну й ту саму функцію і дають змогу підставлянням знайдених формул одних замість інших отримати для будь-якої формули всі відповідні їй формули.The paper is dealing with a problem of identical transformations at SN-algebra. The task about identical transformations is formulated as follows. On the set of algebra operations the specifying of complete system of identities is required, i.e. it is necessary to find somewhat the elementary subset of pairs of equal formulas realizing the same function and allowing by substitution of the found formulas of ones instead of others to get for any formula all formulas, which are equal to her.