تقرير
On the minimization k-valued logic functions in the class of disjunctive normal forms
| العنوان: | On the minimization k-valued logic functions in the class of disjunctive normal forms |
|---|---|
| المؤلفون: | Kabulov, Anvar, Baizhumanov, Abdussattar, Berdimurodov, Mansur |
| سنة النشر: | 2024 |
| المجموعة: | Mathematics |
| مصطلحات موضوعية: | Mathematics - Logic, 03B50 |
| الوصف: | The paper considers the representation of k-valued logical functions in the class of disjunctive normal forms. Various classes of monotone functions of k-valued logic are investigated. Theorems are proved on the coincidence of reduced and shortest disjunctive nominal forms of k-valued functions. For a certain class of k-valued monotone functions, we prove an estimate for the number of functions in this class. we prove criteria for the absorption of elementary conjunctions by a first-order neighborhood of disjunctive normal forms of k-valued functions. Comment: two theorem |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2401.17413 |
| رقم الأكسشن: | edsarx.2401.17413 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |