Операторы замыкания с позитивными связками и кванторамистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 24 января 2020 г.
Аннотация: Проведена классификация операторов замыкания, которые базируются на логических связках конъюнкция, дизъюнкция и кванторах и которые являются расширениями оператора суперпозиции. Подробно рассмотрен оператор замыкания, использующий только связку конъюнкция и оба квантора. Определены основные свойства этого оператора замыкания, найдены все 15 замкнутых классов булевых функций.