Шабанов-Кушнаренко, С. Ю.Шаронова, Н. В.Шубин, И. Ю.2020-04-152020-04-151989Шабанов-Кушнаренко С. Ю. О некоторых алгоритмах канонической конъюнктивной минимизации формул алгебры конечных предикатов / С. Ю. Шабанов-Кушнаренко, Н. В. Шаронова, И. Ю. Шубин // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1989. – Вып. 42. – С. 50–54.http://openarchive.nure.ua/handle/document/11408В алгебре логики имеет место принцип двойственности, в силу которого методы отыскания минимальной конъюнктивной нормальной формы оказываются совершенно аналогичными методам отыскания минимальной ДНФ. В универсальной алгебре конечных предикатов произвольного порядка мы лишены принципа двойственности, операции дизъюнкции и конъюнкции уже неравноправны. Вследствие этого методы конъюнктивной минимизации должны рассматриваться отдельно и нельзя обойтись ссылкой на аналогию с дизъюнктивной минимизацией. Данная статья развивает ранее введенные определения и алгоритмы канонической конъюнктивной минимизации для случая конечных предикатов произвольного порядка. Прежде всего, докажем несколько важных утверждений, основывающихся на понятиях импликанты и имплиценты предикатов произвольного порядка и на основе свойств импликанты.ruалгебра логикипонятие импликантыArticle