On the minimization k-valued logic functions in the class of disjunctive normal forms
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914659846586368 |
|---|---|
| author | Kabulov, Anvar Baizhumanov, Abdussattar Berdimurodov, Mansur |
| author_facet | Kabulov, Anvar Baizhumanov, Abdussattar Berdimurodov, Mansur |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_17413 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On the minimization k-valued logic functions in the class of disjunctive normal forms Kabulov, Anvar Baizhumanov, Abdussattar Berdimurodov, Mansur 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. |
| title | On the minimization k-valued logic functions in the class of disjunctive normal forms |
| topic | Logic 03B50 |
| url | https://arxiv.org/abs/2401.17413 |