Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул

• Veröffentlicht in: Кибернетика и системный анализ
• Datum: 2018
• Hauptverfasser: Львов, М.С., Песчаненко, В.С., Летичевский, А.А., Тарасич, Ю.Г., Баев, А.С.
• Format: Artikel
• Sprache: Russisch
• Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2018
• Schlagworte: Програмно-технічні комплекси
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/161458
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул / М.С. Львов, В.С. Песчаненко, А.А. Летичевский, Ю.Г. Тарасич, А.С. Баев // Кибернетика и системный анализ. — 2018. — Т. 54, № 6. — С. 159-169. — Бібліогр.: 34 назв. — рос.

Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а т...