О некоторых алгоритмах канонической конъюнктивной минимизации формул алгебры конечных предикатов

Шабанов-Кушнаренко, С. Ю.; Шаронова, Н. В.; Шубин, И. Ю.

Публікація:
О некоторых алгоритмах канонической конъюнктивной минимизации формул алгебры конечных предикатов

dc.contributor.author	Шабанов-Кушнаренко, С. Ю.
dc.contributor.author	Шаронова, Н. В.
dc.contributor.author	Шубин, И. Ю.
dc.date.accessioned	2020-04-15T18:44:09Z
dc.date.available	2020-04-15T18:44:09Z
dc.date.issued	1989
dc.description.abstract	В алгебре логики имеет место принцип двойственности, в силу которого методы отыскания минимальной конъюнктивной нормальной формы оказываются совершенно аналогичными методам отыскания минимальной ДНФ. В универсальной алгебре конечных предикатов произвольного порядка мы лишены принципа двойственности, операции дизъюнкции и конъюнкции уже неравноправны. Вследствие этого методы конъюнктивной минимизации должны рассматриваться отдельно и нельзя обойтись ссылкой на аналогию с дизъюнктивной минимизацией. Данная статья развивает ранее введенные определения и алгоритмы канонической конъюнктивной минимизации для случая конечных предикатов произвольного порядка. Прежде всего, докажем несколько важных утверждений, основывающихся на понятиях импликанты и имплиценты предикатов произвольного порядка и на основе свойств импликанты.	uk_UA
dc.identifier.citation	Шабанов-Кушнаренко С. Ю. О некоторых алгоритмах канонической конъюнктивной минимизации формул алгебры конечных предикатов / С. Ю. Шабанов-Кушнаренко, Н. В. Шаронова, И. Ю. Шубин // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1989. – Вып. 42. – С. 50–54.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/11408
dc.language.iso	ru	uk_UA
dc.publisher	«Вища школа»	uk_UA
dc.subject	алгебра логики	uk_UA
dc.subject	понятие импликанты	uk_UA
dc.title	О некоторых алгоритмах канонической конъюнктивной минимизации формул алгебры конечных предикатов	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication