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

Abstract

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

Keywords

• булева функция
• самодвойственность
• основной базис
• универсальные базисы
• логические элементы
• boolean function
• self-duality
• basis
• universal bases
• logical elements