Шабанов-Кушнаренко, С. Ю.Шаронова, Н. Е.Шубин, И. Ю.2021-10-262021-10-261989Шабанов-Кушнаренко С. Ю. Алгоритмы канонической дизъюнктивной минимизации формул алгебры конечных предикатов / С. Ю. Шабанов-Кушнаренко, Н. Е. Шаронова, И. Ю. Шубин // Проблемы бионики : республ. межвед. науч.-техн. сб. – 1989. – Вып. 43. – С. 25–31.https://openarchive.nure.ua/handle/document/17991Цель работы — теоретическое обоснование применения алгоритмов минимизации алгебры логики, обобщенных на случай алгебры конечных предикатов, при введенной операции импликацииruпроблемы бионикиалгебра конечных предикатовArticle