УДК 519.7
Эквивалентные преобразования формул в P2 / А. Б. Угольников // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2009. № 5. С. 25-32.
В работе дается новое доказательство теоремы Р. К. Линдона о конечной базируемости классов тождеств над конечными системами булевых функций. Оригинальное доказательство этой теоремы опирается на описание Э. Л. Поста множества всех замкнутых классов функций алгебры логики. Дж. Берман привел доказательство теоремы Линдона, не опирающееся на описание структуры Поста, но использующее при этом ряд результатов из универсальной алгебры.
Ключевые слова: формулы, тождества, эквивалентные преобразования.
Библиогр. 18.
