# Типы операций

На данной странице приведено описание операций, поддерживаемых модулем ОСС.

Примечание: в текущей версии реализован только один тип пиктограмм ОСС: РС-форма КС. После добавления новых типов пиктограмм предполагается дополнение данной таблицы столбцом с поддерживаемыми типами операндов для каждой операции.

Название | Описание
Слияние | Объединение содержания двух пиктограмм-операндов в рамках результирующей пиктограммы
Синтез с отождествлением БМ | Слияние РС-форм с последующим отождествлением базисных множеств
Синтез с отождествлением ПРС | Слияние РС-форм с последующим отождествлением базисных множеств и родовых структур
Синтез с отождествлением Термов | Слияние РС-форм с последующим отождествлением базисных множеств и термов
Обобщенный синтез | Слияние РС-форм с последующим отождествлением согласно некоторой таблице отождествлений