А. А. Оленев, К. А. Киричек, Е. В. Потехина, “Математическая логика: построение логических схем из логических элементов в Maple”, Вестник КРАУНЦ. Физ.-мат. науки, 2021, том 36, номер 3,страницы 155

Эта публикация цитируется в 1 статье

ИНФОРМАЦИОННЫЕ И ВЫЧИСЛИТЕЛЬНЫЕ ТЕХНОЛОГИИ

Математическая логика: построение логических схем из логических элементов в Maple

А. А. Оленев, К. А. Киричек, Е. В. Потехина

Ставропольский государственный педагогический институт

Аннотация: В статье рассматриваются возможности применения библиотеки Logic системы компьютерной алгебры Maple в аспекте компьютерного моделирования логических схем в различных базисах. Смоделированы основные логические элементы в Maple. На конкретном примере детально представлен алгоритм построения логической схемы в различных базисах.

Ключевые слова: булева функция, самодвойственность, основной базис, универсальные базисы, логические элементы.

УДК: 510.6, 519.7

MSC: Primary 03B70; Secondary 90C90

DOI: 10.26117/2079-6641-2021-36-3-155-164