Бондаренко, М. Ф.Шабанов-Кушнаренко, Ю. П.2016-06-102016-06-102011Бондаренко, М. Ф. Нормальные формы формул алгебры конечных предикатов / М. Ф. Бондаренко, Ю. П. Шабанов-Кушнаренко // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2011. – Вып. 3 (77). – С. 14-29.http://openarchive.nure.ua/handle/document/813Рассмотрены задачи построения нормальных форм формул алгебры конечных предикатов, показано, что между конечными предикатами и совершенными дизъюнктивными нормальными формами существует взаимно однозначное соответствие. Cформулирована теорема о конъюнктивном разложении, рассмотрена задача канонической минимизации формул алгебры конечных предикатов, методы дизъюнктивной и конъюнктивной минимизации.ruтеория интеллектапредикаталгебра конечных предикатовДНФСДНФминимизация формулArticle