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

• Опубліковано в: : Кибернетика и системный анализ
• Дата: 2018
• Автори: Львов, М.С., Песчаненко, В.С., Летичевский, А.А., Тарасич, Ю.Г., Баев, А.С.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2018
• Теми: Програмно-технічні комплекси
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/161458
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул / М.С. Львов, В.С. Песчаненко, А.А. Летичевский, Ю.Г. Тарасич, А.С. Баев // Кибернетика и системный анализ. — 2018. — Т. 54, № 6. — С. 159-169. — Бібліогр.: 34 назв. — рос.

Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а также описание алгоритма ее построения. Відображено результати випробувань інструментів спрощення формул, а також описано алгоритм побудови канонічних форм лінійних напівалгебраїчних формул (ЛНФ). Основним результатом цієї роботи є визначення канонічної форми ЛНФ з властивістю унікальності та іншими корисними властивостями, а також опис алгоритму її побудови. The results of tests of formula simplification tools are presented in the first part of the paper. In the second part, the algorithm for constructing canonical forms of linear semi-algebraic formulas is described. The main result of the study is the definition of the canonical form of linear semi-algebraic formula, which has the property of uniqueness and other useful properties. The algorithm of its construction is described.