Колесников, Д. О.2020-10-272020-10-272001Колесников Д. О. Универсальный метод решения уравнений алгебры предикатных операций с неизвестными предикатами / Д. О. Колесников // Проблемы бионики : Всеукр. межвед. науч.-техн. сб. – 2001. – Вып. 54. – С. 68–74.http://openarchive.nure.ua/handle/document/13540Предложен новый метод решения уравнений алгебры предикатных операций с неизвестными предикатами. Данный метод является универсальным по своей применимости к решению логических уравнений, записанных на языке алгебры предикатных операций. Проанализирована его вычислительная сложность и преимущество по сравнению с методом полного перебора.ruметод решения уравнений алгебры предикатных операцийArticle