Нормальные формы формул алгебры конечных предикатов
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Нормальные формы формул алгебры конечных предикатов
|
|
| Creator |
Бондаренко, М. Ф.
Шабанов-Кушнаренко, Ю. П. |
|
| Subject |
теория интеллекта
предикат алгебра конечных предикатов ДНФ СДНФ минимизация формул |
|
| Description |
Рассмотрены задачи построения нормальных форм формул алгебры конечных предикатов, показано, что между конечными предикатами и совершенными дизъюнктивными нормальными формами существует взаимно однозначное соответствие. Cформулирована теорема о конъюнктивном разложении, рассмотрена задача канонической минимизации формул алгебры конечных предикатов, методы дизъюнктивной и конъюнктивной минимизации.
|
|
| Date |
2016-06-10T15:19:16Z
2016-06-10T15:19:16Z 2011 |
|
| Type |
Article
|
|
| Identifier |
Бондаренко, М. Ф. Нормальные формы формул алгебры конечных предикатов / М. Ф. Бондаренко, Ю. П. Шабанов-Кушнаренко // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2011. – Вып. 3 (77). – С. 14-29.
http://openarchive.nure.ua/handle/document/813 |
|
| Language |
ru
|
|
| Publisher |
ХНУРЭ
|
|