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