Система інтелектуального аналізу та перетворення логічних структур методами символьного моделювання

Abstract

In this paper develops and investigates a program for automatic analysis and simplification of logical functions. It allows performing complex calculations using the SymPy library, ensuring high accuracy of logical expression conversion. Particular attention is paid to displaying results in the form of time diagrams and graphical formulas that meet the requirements of DSTU. This tool greatly facilitates the design of digital devices and helps to automatically prepare technical reports.У роботі розроблено та досліджено програму для автоматичного аналізу та спрощення логічних функцій. Дана програма дозволяє виконувати складні розрахунки за допомогою бібліотеки SymPy, забезпечуючи високу точність перетворення логічних виразів. Особливу увагу приділено відображенню результатів у вигляді часових діаграм та графічних формул, що відповідають вимогам ДСТУ. Цей інструмент значно полегшує проектування цифрових пристроїв та допомагає автоматично готувати технічні звіти.